Similar repositories to ajrouvoet/implicits.agda:

• ajrouvoet/implicits.agda github similar
• MetaBorgCube/oopsla18-artifact github similar
• yfcai/CREG github similar
• skeuchel/needle github similar
• jyp/organ github similar
• uds-psl/autosubst-ocaml github similar
• LightAndLight/idris-lambda-reflection github similar
• elpinal/focused-modules github similar
• tewe/uroboro github similar
• leissa/dimpl github similar
• rntz/stlc github similar
• elpinal/rain-ml github similar
• fsestini/tt-in-cubical github similar
• argent0/idris-dataframe github similar
• ziman/idris-scheme github similar
• asajeffrey/finite-dtypes github similar
• danelahman/POPL18 github similar
• ayberkt/chi github similar
• ahmadsalim/davidlang github similar
• gallais/agdarky github similar
• jmars/Records github similar
• gelisam/circular-sig github similar
• heyrutvik/nbe-a-tutorial github similar
• Lapin0t/induction-recursion github similar
• ollef/region github similar
• jonsterling/lean4-sgdt github similar
• olivierverdier/GeometricAlgebra github similar
• michaelsproul/dblib-linear github similar
• Event-Structures/event-struct github similar
• mietek/agda-intro github similar
• bedrocksystems/coq-lens github similar
• YouyouCong/type-preserving-cps github similar
• jonsterling/agda-stc github similar
• benmos/HLevy github similar
• ahmadsalim/desc-n-crunch github similar
• sabauma/agda-relation-algebra github similar
• atennapel/qtt-ts github similar
• elpinal/seqmod github similar
• bobatkey/system-f-parametricity-model github similar
• chrisamaphone/lfinlf github similar