| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| rzk-lang/rzk | HaskellTypeScriptNix | 154 | +6 | 3 | 0 |
| steshaw/plt | CSSHTMLJavaScript | 5.1k | +5 | 333 | 0 |
| UniMath/agda-unimath | AgdaPythonCSS | 184 | +1 | 54 | 0 |
| hmemcpy/milewski-ctfp-pdf | TeXReasonOCaml | 10.4k | 0 | 556 | 0 |
| liuxinyu95/unplugged | TeXHaskellPython | 2.8k | 0 | 178 | 0 |
| jwiegley/category-theory | CoqOther | 703 | 0 | 65 | 0 |
| AlgebraicJulia/Catlab.jl | Julia | 552 | 0 | 53 | 0 |
| anoma/geb | IdrisCommon LispAgda | 22 | 0 | 8 | 0 |
| thma/LtuPatternFactory | Haskell | 960 | 0 | 40 | 0 |
| homalg-project/CAP_project | GAPOther | 22 | 0 | 17 | 0 |
| AlgebraicJulia/Semagrams.jl | ScalaTclShell | 85 | 0 | 7 | 0 |
| iwilare/categorical-automata | Agda | 15 | 0 | 1 | 0 |
| abuseofnotation/category-theory-illustrated | HTMLCSSRuby | 285 | 0 | 32 | 0 |
| samuelsonric/AlgebraicInference.jl | Julia | 17 | 0 | 1 | 0 |
| jameshaydon/lawvere | HaskellNixEmacs Lisp | 251 | 0 | 5 | 0 |