This is stars and forks stats for /groupoid/alonzo repository. As of 27 Apr, 2024 this repository has 14 stars and 1 forks.
Alonzo STLC type system Build $ dune build $ dune exec alonzo lib/nat.alonzo STLC A Formulation of the Simple Theory of Types [Church] An Overview of Type Theories [Guallart] Category Theory and Lambda Calculus [García] Credits Oleh Marakhovskyi
Alonzo STLC type system Build $ dune build $ dune exec alonzo lib/nat.alonzo STLC A Formulation of the Simple Theory of Types [Church] An Overview of Type Theories [Guallart] Category Theory and Lambda Calculus [García] Credits Oleh Marakhovskyi
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| math-comp/math-comp | CoqTeXOCaml | 509 | 0 | 106 | 0 |
| udem-dlteam/ribbit | SchemeShellC | 392 | +1 | 40 | 0 |
| doomeer/kalandralang | OCamlMakefile | 54 | 0 | 4 | 0 |
| comby-tools/comby | OCamlShellStandard ML | 2.2k | +2 | 57 | 0 |
| jardon-u/miniprojs | AssemblyTeXC++ | 1 | 0 | 0 | 0 |
| owlbarn/owl | OCamlC | 1.1k | 0 | 121 | 0 |
| austral/austral | OCamlTypeScriptPython | 833 | +6 | 24 | 0 |
| binsec/binsec | OCamlPythonC | 282 | 0 | 30 | 0 |
| sgillespie/lambda-calculus | 86 | 0 | 15 | 0 | |
| WebAssembly/gc | WebAssemblyPythonOCaml | 810 | +2 | 55 | 0 |