Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Attestor	9	a year ago	5	gpl-3.0	Java
A Shape Analysis Tool based on Graph Grammars
Apollo Frontend	5	3 months ago	2	bsd-3-clause	TypeScript
A web application for first-order model checking in graph structures.
Kong	5	6 months ago		gpl-3.0	Python
Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

Alternatives To Apollo Frontend

Select To Compare

Attestor ⭐ 9

A Shape Analysis Tool based on Graph Grammars

most recent commit a year ago

Apollo Frontend ⭐ 5

A web application for first-order model checking in graph structures.

most recent commit 3 months ago

Kong ⭐ 5

Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

most recent commit 6 months ago

Suggest An Alternative To apollo-frontend

Alternative Project Comparisons

Apollo Frontend vs Attestor

Apollo Frontend vs Kong

Popular Graph Projects

Chart.js ⭐ 62,718

Simple HTML5 Charts using the <canvas> tag

dependent packages 1,381total releases 98latest release December 04, 2023most recent commit 3 months ago

Terraform ⭐ 40,165

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

dependent packages 1,308total releases 666latest release December 06, 2023most recent commit 3 months ago

Mpandroidchart ⭐ 37,080

A powerful 🚀 Android chart view / graph view library, supporting line- bar- pie- radar- bubble- and candlestick charts as well as scaling, panning and animations.

total releases 2latest release December 01, 2020most recent commit 3 months ago

Logseq ⭐ 27,927

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

most recent commit 3 months ago

Jsoncrack.com ⭐ 27,147

✨ Innovative and open-source visualization application that transforms various data formats, such as JSON, YAML, XML, CSV and more, into interactive graphs.

most recent commit 3 months ago

Popular Model Checking Projects

P ⭐ 2,845

The P programming language.

dependent packages 1total releases 3latest release April 04, 2023most recent commit 3 months ago

Tlaplus ⭐ 2,154

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

most recent commit 3 months ago

Kani ⭐ 1,699

Kani Rust Verifier

total releases 44latest release November 28, 2023most recent commit 3 months ago

Tla Rust ⭐ 831

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

most recent commit 7 years ago

Alive2 ⭐ 634

Automatic verification of LLVM optimizations

most recent commit 3 months ago

Popular Computer Science Categories