| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| openai/miniF2F | Objective-C++IsabelleLean | 183 | 0 | 34 | 0 |
| seL4/l4v | IsabelleStandard MLHaskell | 447 | 0 | 92 | 0 |
| elastic/elasticsearch-formal-models | IsabelleTLATeX | 192 | 0 | 24 | 0 |
| seL4/isabelle | IsabelleStandard MLScala | 107 | 0 | 40 | 0 |
| dfinity/interface-spec | IsabelleNixShell | 28 | 0 | 18 | 0 |
| isabelle-utp/UTP-Designs | Isabelle | 0 | 0 | 2 | 0 |
| isabelle-utp/UTP-Reactive | Isabelle | 0 | 0 | 1 | 0 |
| DeNA/IsarTutorial | Isabelle | 4 | 0 | 0 | 0 |
| spacekookie/gay | MercuryOzIsabelle | 420 | 0 | 26 | 0 |
| riscv/sail-riscv | CoqIsabelleStandard ML | 281 | 0 | 86 | 0 |
| rems-project/sail | Standard MLIsabelleCoq | 424 | 0 | 63 | 0 |
| input-output-hk/thorn-calculus | IsabelleOther | 2 | 0 | 2 | 0 |
| CTSRD-CHERI/sail-cheri-riscv | IsabelleCoqOther | 41 | 0 | 12 | 0 |
| facebookresearch/miniF2F | Objective-C++IsabelleLean | 22 | 0 | 5 | 0 |
| hwayne/lets-prove-leftpad | SystemVerilogCommon LispIsabelle | 544 | 0 | 54 | 0 |