2023-07-16 |
jmchapman / restriction-categories |
12 |
|
2023-06-15 |
glguy / my-agda-lib |
3 |
|
2023-06-11 |
UniMath / agda-unimath |
219 |
|
2023-03-31 |
sergei-romanenko / agda-simple-scp |
26 |
|
2023-03-12 |
iwilare / categorical-automata |
13 |
|
2023-03-11 |
jespercockx / scopes-n-roses |
2 |
|
2023-01-29 |
jespercockx / agda-core |
37 |
|
2023-01-04 |
conal / felix |
13 |
|
2022-12-25 |
martinescardo / TypeTopology |
210 |
|
2022-12-08 |
FrozenWinters / SSTs |
17 |
|
2022-11-01 |
elpinal / ucat |
8 |
|
2022-10-29 |
maxsnew / synthetic-domain-theory |
14 |
|
2022-09-03 |
RedPRL / agda-mugen |
8 |
|
2022-08-20 |
paolobrasolin / quantales |
3 |
|
2022-08-19 |
plfa / plfa.github.io |
1344 |
|
2022-07-21 |
jmchapman / Relative-Monads |
25 |
|
2022-07-10 |
CMU-HoTT / serre-finiteness |
11 |
|
2022-07-08 |
mikeshulman / ohtt |
21 |
|
2022-07-08 |
input-output-hk / formal-ledger-specifications |
20 |
|
2022-06-13 |
isovector / denotational-arithmetic-zurihac |
5 |
|
2022-06-07 |
bitonic / mazzo.li |
13 |
|
2022-06-02 |
jonsterling / agda-synthetic-domain-theory |
12 |
|
2022-04-25 |
kangrongji / cubical-classics |
17 |
|
2022-04-24 |
JorisCeulemans / sikkel |
17 |
|
2022-04-17 |
cedille / ial |
27 |
|
2022-04-13 |
martinescardo / HoTT-UF-Agda-Lecture-Notes |
182 |
|
2022-04-13 |
plum-umd / cgc |
29 |
|
2022-04-13 |
plum-umd / facets-in-agda |
|
|
2022-03-30 |
plt-amy / 1lab |
248 |
|
2022-03-27 |
danelahman / lograc-project-2022 |
|
|
2022-03-13 |
agda / agda-github-syntax-highlighting |
3 |
|
2022-03-13 |
agda / agda2hs |
173 |
|
2022-03-12 |
Trebor-Huang / combinator-nbe |
14 |
|
2022-03-08 |
agda / agda-categories |
351 |
|
2022-02-17 |
danelahman / lograc-2022 |
1 |
|
2022-02-15 |
agda / cubical |
450 |
|
2022-02-14 |
agda / agda-stdlib |
578 |
|