| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| riscv/sail-riscv | CoqIsabelleStandard ML | 324 | +1 | 103 | +1 |
| facebookresearch/miniF2F | Objective-C++IsabelleLean | 35 | +1 | 9 | 0 |
| openai/miniF2F | Objective-C++IsabelleLean | 209 | 0 | 40 | 0 |
| seL4/l4v | IsabelleStandard MLHaskell | 470 | 0 | 100 | 0 |
| elastic/elasticsearch-formal-models | IsabelleTLATeX | 201 | 0 | 25 | 0 |
| seL4/isabelle | IsabelleStandard MLScala | 111 | 0 | 42 | 0 |
| isabelle-utp/UTP-Designs | Isabelle | 1 | 0 | 2 | 0 |
| isabelle-utp/UTP-Reactive | Isabelle | 1 | 0 | 1 | 0 |
| DeNA/IsarTutorial | Isabelle | 4 | 0 | 0 | 0 |
| spacekookie/gay | MercuryOzIsabelle | 440 | 0 | 33 | 0 |
| rems-project/sail | IsabelleStandard MLCoq | 477 | 0 | 72 | 0 |
| input-output-hk/thorn-calculus | IsabelleOther | 2 | 0 | 2 | 0 |
| CTSRD-CHERI/sail-cheri-riscv | IsabelleCoqOther | 50 | 0 | 14 | 0 |
| hwayne/lets-prove-leftpad | SystemVerilogCommon LispIsabelle | 580 | 0 | 56 | 0 |
| DSLsofMath/DSLsofMath | HaskellTeXHTML | 382 | 0 | 48 | 0 |
| isabelle-prover/isabelle-go-codegen | Standard MLIsabelleGo | 0 | 0 | 1 | 0 |