| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| coq/coq | OCamlCoqTeX | 4.4k | +7 | 626 | 0 |
| rzk-lang/rzk | HaskellTypeScriptNix | 154 | +6 | 3 | 0 |
| agda/agda | HaskellAgdaTeX | 2.2k | +5 | 307 | +1 |
| FStarLang/FStar | F*OCamlPython | 2.5k | +5 | 233 | +2 |
| AthenaFoundation/athena | Standard MLHTMLEmacs Lisp | 55 | 0 | 3 | 0 |
| PrincetonUniversity/VST | CoqCOCaml | 398 | 0 | 87 | 0 |
| TOTBWF/teenytt | HaskellLexYacc | 26 | 0 | 4 | 0 |
| stepchowfun/proofs | CoqRubyMakefile | 274 | 0 | 10 | 0 |
| plfa/plfa.github.io | AgdaTeXHaskell | 1.3k | 0 | 275 | 0 |
| EuroProofNet/ATP | OpenEdge ABL | 2 | 0 | 1 | 0 |