This is stars and forks stats for /jonsterling/agda-synthetic-domain-theory repository. As of 23 Apr, 2024 this repository has 13 stars and 0 forks.
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
isovector/denotational-arithmetic-zurihac | Agda | 6 | 0 | 1 | 0 |
gregr/experiments | RacketSchemeHaskell | 12 | 0 | 3 | 0 |
martinescardo/HoTTEST-Summer-School | TeXAgdaHTML | 246 | 0 | 63 | 0 |
mikeshulman/ohtt | Agda | 34 | 0 | 2 | 0 |
input-output-hk/formal-ledger-specifications | AgdaTeXNix | 18 | 0 | 10 | 0 |
CMU-HoTT/serre-finiteness | Agda | 14 | 0 | 1 | 0 |
jmchapman/Relative-Monads | Agda | 24 | 0 | 2 | 0 |
plfa/plfa.github.io | AgdaTeXHaskell | 1.3k | 0 | 275 | 0 |
paolobrasolin/quantales | Agda | 3 | 0 | 0 | 0 |
AndrasKovacs/smalltt | LeanIdrisAgda | 472 | 0 | 23 | 0 |