Similar repositories to leissa/dimpl:

• leissa/dimpl github similar
• hecrj/iced github similar
• roc-lang/roc github similar
• seven1m/natalie github similar
• DasNaCl/csc github similar
• boltlabs-inc/call-by github similar
• skeuchel/needle github similar
• ajrouvoet/implicits.agda github similar
• CoqHott/coq-effects github similar
• chriskempson/base16-vim github similar
• gelisam/circular-sig github similar
• intsuc/blog github similar
• elpinal/focused-modules github similar
• dureuill/transfer github similar
• voodoos/mlts github similar
• tolziplohu/durin github similar
• fsestini/tt-in-cubical github similar
• DasNaCl/toadml github similar
• been-jamming/CORE github similar
• vzaliva/helix github similar
• kowainik/first-class-patterns github similar
• matthesjh/coq-tal github similar
• adrieng/pulsar github similar
• dhil/phd-dissertation github similar
• mb64/poly github similar
• YouyouCong/type-preserving-cps github similar
• justinpombrio/synless github similar
• atennapel/coc-os github similar
• mb64/xtt github similar
• AndrasKovacs/universes github similar
• 4y8/esoo github similar
• elpinal/seqmod github similar
• nannou-org/ether-dream github similar
• Geal/nomfun github similar
• quadrupleslap/badlog github similar
• ziman/itt-idris github similar
• edwinb/IdrisApp github similar
• soren-n/bidi-higher-rank-poly github similar
• sstucki/pts-agda github similar
• lpw25/implicits-module-system github similar