This is stars and forks stats for /CQTS/summer23-homework repository. As of 03 May, 2024 this repository has 1 stars and 21 forks.
CQTS Summer School 2023 on Cubical Type Theory Getting Started Fork this repository to your own account, by pressing the "Fork" button in the upper right. Once you have cloned your fork locally, run the following to fetch the exact version of the cubical Agda library we are using. git submodule update --init To edit Agda files, you will need to install Agda and an editor that supports agda-mode: VSCode, Emacs or Atom. Installing Agda Below we provide some different options for installing Agda, depending on...
CQTS Summer School 2023 on Cubical Type Theory Getting Started Fork this repository to your own account, by pressing the "Fork" button in the upper right. Once you have cloned your fork locally, run the following to fetch the exact version of the cubical Agda library we are using. git submodule update --init To edit Agda files, you will need to install Agda and an editor that supports agda-mode: VSCode, Emacs or Atom. Installing Agda Below we provide some different options for installing Agda, depending on...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| PrismLauncher/prismlauncher.org | CSSNunjucksJavaScript | 55 | 0 | 106 | 0 |
| alunduil/blog.alunduil.com | HaskellHTMLCSS | 1 | 0 | 1 | 0 |
| tweag/nickel | RustNCLNix | 1.8k | 0 | 69 | 0 |
| ethereum/act | HaskellCoqYacc | 202 | 0 | 35 | 0 |
| twesterhout/halide-haskell | HaskellHTMLNix | 19 | 0 | 3 | 0 |
| nix-community/terraform-nixos | HCLShellNix | 274 | 0 | 54 | 0 |
| oddlama/agenix-rekey | Nix | 85 | +2 | 6 | 0 |
| nushell/nufmt | NushellRustNix | 33 | 0 | 4 | 0 |
| UniMath/agda-unimath | AgdaPythonCSS | 184 | +1 | 54 | 0 |
| MrFoxPro/lapce-nix | NixRust | 5 | 0 | 0 | 0 |