Agda

repotechsstarsweeklyforksweekly
input-output-hk/plutusHaskellAgdaNix1.4k+14440
agda/agdaHaskellAgdaTeX2.1k02920
agda/agda-stdlibAgdaOther50102190
agda/agda-categoriesAgda3000550
agda/cubicalAgdaOther35501210
cedille/ialAgdaOther330180
kangrongji/cubical-classicsAgda25010
plt-amy/1labAgdaHaskellNix2020360
msp-strath/TypOSHaskellTeXAgda108010
jonsterling/agda-synthetic-domain-theoryAgda12000
isovector/denotational-arithmetic-zurihacAgda6010
gregr/experimentsRacketSchemeHaskell9010
martinescardo/HoTTEST-Summer-SchoolTeXAgdaHTML2180610
mikeshulman/ohttAgda31010
input-output-hk/formal-ledger-specificationsAgdaTeXNix10060
CMU-HoTT/serre-finitenessAgda12010
jmchapman/Relative-MonadsAgda24030
plfa/plfa.github.ioAgdaTeXHaskell1.2k02620
paolobrasolin/quantalesAgda3000
AndrasKovacs/smallttLeanIdrisAgda4360230
RedPRL/agda-mugenAgdaOther13010
anoma/gebIdrisCommon LispAgda10050
agda/agda2hsAgdaHaskellOther1210200
maxsnew/synthetic-domain-theoryAgda14000
elpinal/ucatAgda9000
Next >

Popular technologies

Popular topics