Topic · proof-assistant

proof-assistant

Tracked open-source repos tagged proof-assistant, sorted by stars.

Repos

8

Total stars

17,499

Avg. stars

2,187

Share

0.00%

Topics that frequently appear alongside proof-assistant on the same repo.

Recent risers

Repos created in the last 90 days, tagged proof-assistant.

No new repos tagged with this topic in the last 90 days.

#1
rocq ↗@rocq-proverOCaml
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
★ 5,561+8Star change over the last 7 days
#2
FStar ↗@FStarLangF*
A Proof-oriented Programming Language
★ 3,101-1Star change over the last 7 days
#3
agda ↗@agdaHaskell
Agda is a dependently typed programming language / interactive theorem prover.
★ 2,920+3Star change over the last 7 days
#4
YC-Killer ↗@sahibzada-allahyarTypeScript
A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups.
★ 2,805+14Star change over the last 7 days
#5
plfa.github.io ↗@plfaAgda
An introduction to programming language theory in Agda
★ 1,514+1Star change over the last 7 days
#6
PG ↗@ProofGeneralEmacs Lisp
This repo is the new home of Proof General
★ 557+0Star change over the last 7 days
#7
jscoq ↗@jscoqTypeScript
A port of Coq to Javascript -- Run Coq in your Browser
★ 547+0Star change over the last 7 days
#8
VST ↗@PrincetonUniversityRocq Prover
Verified Software Toolchain
★ 508+0Star change over the last 7 days

← Back to topics