This is stars and forks stats for /RedPRL/stagedtt repository. As of 05 May, 2024 this repository has 30 stars and 1 forks.
🪆 Stagedtt Stagedtt is an experimental implementation of a staged dependent type theory. ⚠stagedtt is currently experimental, and we will break things! Installation As stagedtt uses algaeff for effects, we will need to use a version of the OCaml compiler that supports effects. Begin by running the following command: opam switch create stagedtt 5.0.0+trunk && eval $(opam env) This will create a new opam switch for stagedtt. Next, we will need to add the OCaml 5 alpha repository for opam, ...
🪆 Stagedtt Stagedtt is an experimental implementation of a staged dependent type theory. ⚠stagedtt is currently experimental, and we will break things! Installation As stagedtt uses algaeff for effects, we will need to use a version of the OCaml compiler that supports effects. Begin by running the following command: opam switch create stagedtt 5.0.0+trunk && eval $(opam env) This will create a new opam switch for stagedtt. Next, we will need to add the OCaml 5 alpha repository for opam, ...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| kuis-isle3sw/IoPLMaterials | OCamlAssemblyHTML | 156 | 0 | 27 | 0 |
| returntocorp/semgrep-interfaces | OCamlPythonTypeScript | 11 | 0 | 5 | 0 |
| PataphysicalSociety/soupault | OCamlOther | 304 | 0 | 16 | 0 |
| CakeML/cakeml | Standard MLOCamlHaskell | 855 | 0 | 76 | 0 |
| QuickChick/QuickChick | CoqOCamlC | 230 | 0 | 43 | 0 |
| cs3110/textbook | OCamlMakefileLua | 573 | +7 | 112 | +1 |
| kayceesrk/ocaml5-tutorial | OCaml | 184 | 0 | 10 | 0 |
| jrodbeta/pb-j | OCamlJavaShell | 0 | 0 | 1 | 0 |
| realworldocaml/book | OCamlSCSSTeX | 1.1k | 0 | 172 | 0 |
| PrincetonUniversity/VST | CoqCOCaml | 398 | 0 | 87 | 0 |