| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Kindelia/Kind | Rust | 3.3k | +12 | 125 | +1 |
| 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 |
| steshaw/plt | CSSHTMLJavaScript | 5.1k | +5 | 333 | 0 |
| leanprover-community/mathlib | LeanOther | 1.6k | +4 | 303 | 0 |
| giellalt/lang-fao | TextYAMLShell | 15 | +2 | 1 | 0 |
| agda/agda-stdlib | AgdaOther | 527 | +1 | 232 | 0 |
| FStarLang/karamel | OCamlF*C | 367 | +1 | 56 | 0 |
| NilFoundation/zkllvm | C++CMakePython | 155 | +1 | 16 | 0 |
| kkrt-labs/kakarot | CairoPythonSolidity | 693 | +1 | 174 | 0 |
| giellalt/lang-fit | TextShellM4 | 1 | +1 | 0 | 0 |
| seL4/l4v | IsabelleStandard MLHaskell | 470 | 0 | 100 | 0 |
| appliedzkp/semaphore | TypeScriptSolidityEJS | 765 | 0 | 135 | 0 |
| qpwo/actual-malware | TypeScriptShell | 216 | 0 | 9 | 0 |
| swagkarna/Defeat-Defender-V1.2 | BatchfilePythonAutoHotkey | 1.2k | 0 | 298 | 0 |
| languagetool-org/languagetool | JavaHTMLPython | 10.2k | 0 | 1.2k | 0 |
| Chia-Network/chia-blockchain | PythonOther | 10.9k | 0 | 2k | 0 |
| sigp/lighthouse | RustShellMakefile | 2.5k | 0 | 628 | 0 |
| AthenaFoundation/athena | Standard MLHTMLEmacs Lisp | 55 | 0 | 3 | 0 |
| semaphore-protocol/semaphore | TypeScriptSolidityEJS | 765 | 0 | 135 | 0 |
| PrincetonUniversity/VST | CoqCOCaml | 398 | 0 | 87 | 0 |
| JMousqueton/PoC-CVE-2022-30190 | Python | 150 | 0 | 58 | 0 |
| coq-tactician/coq-tactician | OCamlCoqOther | 46 | 0 | 12 | +2 |