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 |
witchcrafters/witchcraft | ElixirNix | 1.2k | 0 | 60 | 0 |
hmemcpy/milewski-ctfp-pdf | TeXReasonOCaml | 10.4k | 0 | 556 | 0 |
pujiaxin33/JXCategoryView | Objective-COther | 6k | 0 | 1.1k | 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 |