Similar repositories to plt-hokusai/mld:

• plt-hokusai/mld github similar
• tewe/uroboro github similar
• hecrj/iced github similar
• plt-hokusai/ahc github similar
• anoma/juvix-archived github similar
• wilbowma/infernalize github similar
• kosmikus/hkd-sop github similar
• jonsterling/lecture-notes github similar
• LightAndLight/biscope github similar
• trommler/VeriGHC github similar
• JakobeBussey/StoneSpaces1130 github similar
• inanna-malick/hgit github similar
• plt-amy/mld github similar
• hzelenka/idris-proofs github similar
• Lapin0t/induction-recursion github similar
• konn/vscode-redtt-diagnostics github similar
• aronisstav/formal-trace-theory github similar
• wenkokke/nodcap github similar
• DmxLarchey/ite-normalisation github similar
• larrytheliquid/zero-cost-coercions github similar
• JasonGross/lob-paper github similar
• uelis/contextual github similar
• eupp/LatticeKanren github similar
• nikita-volkov/messageless github similar
• LightAndLight/lang github similar
• dckc/togl github similar
• AHartNtkn/Kitmit github similar
• larrytheliquid/generic-reuse github similar
• ayberkt/Mini-TT github similar
• andreasabel/continuous-normalization github similar
• HuStmpHrrr/agda-categories-1 github similar
• groupoid/anders github similar
• uelis/IntML github similar
• pigworker/Gigs-Summer-2018 github similar
• meta-logic/coq-ll github similar
• fsestini/tt-in-cubical github similar
• ayberkt/simplc github similar
• yurrriq/parser-combinators github similar
• bkase/abstraction github similar
• TinkerTravel/purescript-config github similar