This is stars and forks stats for /maxsnew/synthetic-domain-theory repository. As of 20 Apr, 2024 this repository has 14 stars and 0 forks.
Synthetic Domain Theory An experiment in doing synthetic domain theory in cubical agda. References We are mostly following Fiore and Plotkin’s An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.
Synthetic Domain Theory An experiment in doing synthetic domain theory in cubical agda. References We are mostly following Fiore and Plotkin’s An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
elpinal/ucat | Agda | 9 | 0 | 0 | 0 |
AndrasKovacs/elaboration-zoo | HaskellAgda | 517 | 0 | 30 | 0 |
FrozenWinters/SSTs | Agda | 22 | 0 | 0 | 0 |
martinescardo/TypeTopology | AgdaTeXMakefile | 187 | 0 | 30 | 0 |
conal/felix | Agda | 35 | 0 | 3 | 0 |
jespercockx/agda-core | Agda | 9 | 0 | 0 | 0 |
jespercockx/scopes-n-roses | Agda | 2 | 0 | 0 | 0 |
iwilare/categorical-automata | Agda | 15 | 0 | 1 | 0 |
sergei-romanenko/agda-simple-scp | AgdaCoq | 28 | 0 | 2 | 0 |
DSLsofMath/DSLsofMath | HaskellTeXHTML | 382 | 0 | 48 | 0 |