This is stars and forks stats for /michaelt/martin-lof repository. As of 29 Apr, 2024 this repository has 699 stars and 60 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| leanprover-community/lftcm2020 | LeanTeXPython | 63 | 0 | 78 | 0 |
| vyzo/gerbil | SchemeTeXCommon Lisp | 1000 | 0 | 99 | 0 |
| showyourwork/showyourwork | TeXPython | 481 | +3 | 39 | 0 |
| matsui528/math_writing | TeXMakefile | 89 | 0 | 1 | 0 |
| drvinceknight/amwoss | TeXPython | 111 | 0 | 7 | 0 |
| vgod/vimrc | Vim ScriptPythonCSS | 1k | 0 | 407 | 0 |
| wklchris/Note-by-LaTeX | TeX | 1.3k | 0 | 197 | 0 |
| wuzhouhui/misc | CTeXAwk | 1.3k | 0 | 422 | 0 |
| mlresearch/v162 | TeX | 6 | 0 | 49 | 0 |
| gfabbretti8/Axiomatic-Approach-to-Causal-Consistency-Based-on-Sequence-of-Transitions | TeX | 0 | 0 | 0 | 0 |