Similar repositories to rkaarsgaard/upi:

• rkaarsgaard/upi github similar
• DreamLinuxer/popl21-artifact github similar
• vikraman/popl22-symmetries-artifact github similar
• punkdit/categories github similar
• vikraman/2DTypes github similar
• peterlefanulumsdaine/palmgren-archive github similar
• FrozenWinters/SbE github similar
• JacquesCarette/pi-dual github similar
• AndrasKovacs/polynomial-model github similar
• JohnWCartmell/Theory github similar
• DimaSamoz/agda-soas github similar
• FrozenWinters/stlc github similar
• alhassy/gentle-intro-to-reflection github similar
• mikeshulman/catlog github similar
• UlfNorell/agda-prelude github similar
• diku-dk/smlpkg github similar
• plt-amy/1lab github similar
• agda/agda-categories github similar
• Andromedans/andromeda github similar
• edwinb/Idris2-boot github similar
• plfa/plfa.github.io github similar
• varkor/quiver github similar