Agda

repotechsstarsweeklyforksweekly
UniMath/agda-unimathAgdaPythonCSS182+9520
agda/agdaHaskellAgdaTeX2.2k+7305+2
AndrasKovacs/elaboration-zooHaskellAgda516+4300
plfa/plfa.github.ioAgdaTeXHaskell1.3k+2275+1
cedille/ialAgdaOther37+1170
input-output-hk/formal-ledger-specificationsAgdaTeXNix16+190
agda/agda-stdlibAgdaOther52602290
input-output-hk/plutusHaskellAgdaNix1.5k04480
agda/agda-categoriesAgda3290590
agda/cubicalAgdaOther39101270
kangrongji/cubical-classicsAgda26010
plt-amy/1labAgdaHaskellNix2480420
msp-strath/TypOSHaskellTeXAgda112020
jonsterling/agda-synthetic-domain-theoryAgda13000
isovector/denotational-arithmetic-zurihacAgda6010
gregr/experimentsRacketSchemeHaskell12030
martinescardo/HoTTEST-Summer-SchoolTeXAgdaHTML2430620
mikeshulman/ohttAgda34020
CMU-HoTT/serre-finitenessAgda14010
jmchapman/Relative-MonadsAgda24020
paolobrasolin/quantalesAgda3000
AndrasKovacs/smallttLeanIdrisAgda4690230
RedPRL/agda-mugenAgdaOther13010
anoma/gebIdrisCommon LispAgda21080
agda/agda2hsAgdaEmacs LispHaskell1350240
Next >

Popular technologies

Popular topics