This is stars and forks stats for /martinescardo/TypeTopology repository. As of 03 May, 2024 this repository has 187 stars and 30 forks.
Various new theorems in constructive univalent mathematics written in Agda This development was started by Martin Escardo in 2010 as an svn project, and transferred to github Monday 5th February 2018. If you contribute, please add your full (legal or adopted) name and date at the place of contribution. An html rendering of the Agda code is hosted at Martin Escardo's institutional web page. How to cite You can use the following BibTeX entry to cite TypeTopology: @misc{type-topology, title = {{TypeTopology}}, ...
Various new theorems in constructive univalent mathematics written in Agda This development was started by Martin Escardo in 2010 as an svn project, and transferred to github Monday 5th February 2018. If you contribute, please add your full (legal or adopted) name and date at the place of contribution. An html rendering of the Agda code is hosted at Martin Escardo's institutional web page. How to cite You can use the following BibTeX entry to cite TypeTopology: @misc{type-topology, title = {{TypeTopology}}, ...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| LukeGix/CVE-2022-2602 | CMakefile | 88 | 0 | 22 | 0 |
| yuce/pot | ErlangMakefile | 231 | 0 | 36 | 0 |
| mrphlip/aoc | HaskellPythonOther | 16 | 0 | 1 | 0 |
| openboard-team/openboard | JavaC++Kotlin | 2.3k | 0 | 246 | 0 |
| SparebankenVest/public-helm-charts | MustacheSmartyShell | 25 | 0 | 48 | 0 |
| Mic92/dotfiles | NixVim ScriptPython | 351 | 0 | 33 | 0 |
| arxaqapi/ojo | OCamlMakefileShell | 13 | 0 | 0 | 0 |
| solectrus/solectrus | RubySlimTypeScript | 71 | 0 | 7 | 0 |
| PrincetonUniversity/SPEC | SourcePawnFortranJupyter Notebook | 18 | 0 | 3 | 0 |
| Dimillian/IceCubesApp | SwiftOther | 3.7k | 0 | 336 | 0 |