Project Name	Stars	Repos Using This	Packages Using This	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Ergo	144	10	9	2 years ago	960	November 08, 2022	46	apache-2.0	Coq
Programming Language for Smart Legal Contracts
Coq Serapi	119			3 months ago			17	other	OCaml
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Plugin_tutorials	23			5 years ago				unlicense	OCaml
A collection of small projects to illustrate how to write plugins for Coq
Coqpit.vim	7			4 years ago			3	isc	Vim script
Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.

Alternatives To Coq Serapi

Select To Compare

Ergo ⭐ 144

Programming Language for Smart Legal Contracts

dependent packages 9total releases 960most recent commit 2 years ago

npm @accordproject/ergo-compiler} Downloads

Coq Serapi ⭐ 119

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

most recent commit 3 months ago

Plugin_tutorials ⭐ 23

A collection of small projects to illustrate how to write plugins for Coq

most recent commit 5 years ago

Coqpit.vim ⭐ 7

Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.

most recent commit 4 years ago

Suggest An Alternative To coq-serapi

Alternative Project Comparisons

Coq Serapi vs Ergo

Coq Serapi vs Plugin_tutorials

Coq Serapi vs Coqpit.vim

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 3 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 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 4 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 3 months ago

Popular Command Line Projects

Ohmyzsh ⭐ 168,547

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

dependent packages 5total releases 1latest release December 07, 2014most recent commit 16 hours ago

The Art Of Command Line ⭐ 142,328

Master the command line, in one page

most recent commit 4 months ago

Terminal ⭐ 93,043

The new Windows Terminal and the original Windows console host, all in the same place!

total releases 1latest release November 20, 2022most recent commit a month ago

Thefuck ⭐ 81,037

Magnificent app which corrects your previous console command.

dependent packages 9total releases 101latest release January 02, 2022most recent commit 3 months ago

Fzf ⭐ 57,036

:cherry_blossom: A command-line fuzzy finder

dependent packages 11total releases 63latest release November 30, 2023most recent commit 3 months ago

Popular Mathematics Categories