Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Graph Theory	28	6 months ago	3		Coq
Graph Theory [maintainers=@chdoc,@damien-pous]
Imm	19	7 months ago		mit	Coq
Intermediate Memory Model (IMM) and compilation correctness proofs for it
Automatik	8	2 years ago	n,ull	mit	Coq
A library of formalized automaton algorithms

Alternatives To Imm

Select To Compare

Graph Theory ⭐ 28

Graph Theory [maintainers=@chdoc,@damien-pous]

most recent commit 6 months ago

Imm ⭐ 19

Intermediate Memory Model (IMM) and compilation correctness proofs for it

most recent commit 7 months ago

Automatik ⭐ 8

A library of formalized automaton algorithms

most recent commit 2 years ago

Suggest An Alternative To imm

Alternative Project Comparisons

Imm vs Graph Theory

Imm vs Automatik

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 6 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 5 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 5 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 5 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 5 months ago

Popular Coq Projects

Coq ⭐ 4,501

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 5 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 7 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 6 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 5 months ago

Popular Computer Science Categories