This is stars and forks stats for /philomates/black-hole-analysis repository. As of 30 Apr, 2024 this repository has 0 stars and 0 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| stepchowfun/proofs | CoqRubyMakefile | 274 | 0 | 10 | 0 |
| jwiegley/category-theory | CoqOther | 703 | 0 | 65 | 0 |
| IBM/FormalML | CoqOther | 60 | 0 | 17 | 0 |
| LogicalAtomist/principia | TeXCoq | 196 | 0 | 5 | 0 |
| akhilagrawal1001/UnderTheHood | VerilogAssemblyCoq | 0 | 0 | 7 | 0 |
| AbsInt/CompCert | CoqOCamlAssembly | 1.7k | 0 | 238 | 0 |
| freeflowuniverse/crystallib | VCHTML | 8 | 0 | 1 | 0 |
| Veridise/circom-coq | CoqMakefileOCaml | 31 | +1 | 3 | 0 |
| riscv/sail-riscv | CoqIsabelleStandard ML | 324 | +1 | 103 | +1 |
| bit-mips/bitmips_experiments | CoqAssemblyVerilog | 30 | 0 | 9 | 0 |