This is stars and forks stats for /ToposInstitute/polytt repository. As of 28 Apr, 2024 this repository has 25 stars and 2 forks.
PolyTT 🦜 A type theory with native support for Polynomial Functors. For examples, see std-lib/Tutorial.poly. Building Install opam using our preferred package manager. On Mac you can install it with homebrew via: $ brew install opam Once you have opam you can install all the dev dependencies and then build polytt: $ opam init $ opam switch create . ocaml-base-compiler.5.0.0 $ opam install --deps-only --locked . $ dune build Alternatively, flake.nix file is provided to setup an entire development...
PolyTT 🦜 A type theory with native support for Polynomial Functors. For examples, see std-lib/Tutorial.poly. Building Install opam using our preferred package manager. On Mac you can install it with homebrew via: $ brew install opam Once you have opam you can install all the dev dependencies and then build polytt: $ opam init $ opam switch create . ocaml-base-compiler.5.0.0 $ opam install --deps-only --locked . $ dune build Alternatively, flake.nix file is provided to setup an entire development...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
cmsc330fall23/cmsc330fall23 | PythonOCamlShell | 49 | 0 | 19 | 0 |
epam/edp-install | SmartyMakefileDockerfile | 67 | 0 | 14 | 0 |
MartinHeinz/python-project-blueprint | MakefileDockerfileShell | 925 | 0 | 254 | 0 |
STARS-Design-Track-2023/Caravel_STARS_2023 | VerilogSystemVerilogTcl | 2 | 0 | 0 | 0 |
xianyukang/MyKeymap | AutoHotkeyHTMLVue | 401 | 0 | 30 | 0 |
synacktiv/CVE-2023-35001 | GoCMakefile | 120 | 0 | 21 | 0 |
devtooligan/solpretty | SolidityJavaScriptRuby | 67 | 0 | 2 | 0 |
scroll-tech/scroll | SolidityGoTypeScript | 51 | +4 | 9 | +2 |
bentoml/plugins | StarlarkPythonShell | 6 | 0 | 1 | 0 |
Shougo/dpp.vim | TypeScriptVim ScriptMakefile | 68 | 0 | 0 | 0 |