| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| coq/coq | OCamlCoqTeX | 4.4k | +7 | 626 | 0 |
| FStarLang/FStar | F*OCamlPython | 2.5k | +5 | 233 | +2 |
| leanprover-community/mathlib | LeanOther | 1.6k | +4 | 303 | 0 |
| lean-dojo/LeanInfer | LeanC++Shell | 27 | +2 | 1 | 0 |
| AthenaFoundation/athena | Standard MLHTMLEmacs Lisp | 55 | 0 | 3 | 0 |
| CakeML/cakeml | Standard MLOCamlHaskell | 855 | 0 | 76 | 0 |
| coq-tactician/coq-tactician | OCamlCoqOther | 46 | 0 | 12 | +2 |
| tlaplus-workshops/ewd998 | TLAShell | 43 | 0 | 48 | 0 |
| acl2/acl2 | Common LispNewLispVerilog | 315 | 0 | 100 | 0 |
| EuroProofNet/ATP | OpenEdge ABL | 2 | 0 | 1 | 0 |