Similar repositories to trommler/VeriGHC:

• trommler/VeriGHC github similar
• Lapin0t/induction-recursion github similar
• kosmikus/hkd-sop github similar
• jonsterling/lecture-notes github similar
• larrytheliquid/generic-reuse github similar
• wilbowma/infernalize github similar
• groupoid/anders github similar
• JakobeBussey/StoneSpaces1130 github similar
• nhyne/zio-bazel github similar
• ayberkt/Mini-TT github similar
• konn/vscode-redtt-diagnostics github similar
• aronisstav/formal-trace-theory github similar
• meta-logic/coq-ll github similar
• fsestini/tt-in-cubical github similar
• wenkokke/nodcap github similar
• metasepi/idiomaticca github similar
• dmjio/hello-rust-haskell-nix github similar
• smimram/catt github similar
• colin-adams/idris-libmicrohttpd github similar
• larrytheliquid/zero-cost-coercions github similar
• DmxLarchey/ite-normalisation github similar
• JasonGross/lob-paper github similar
• uelis/contextual github similar
• bishabosha/mini-c-lang github similar
• andreasabel/continuous-normalization github similar
• HuStmpHrrr/agda-categories-1 github similar
• edgan8/clampcheck github similar
• vapourismo/opam-nix-integration github similar
• nbenton/x86proved github similar
• ericfinster/catt github similar
• Spinoco/fs2-zk github similar
• TinkerTravel/purescript-config github similar
• awkure/purescript-birds github similar
• epost/purescript-grasp github similar
• pigworker/Gigs-Summer-2018 github similar
• robrix/Manifold github similar
• ak3n/system-f-pop github similar
• elpinal/rain-ml github similar
• m-yac/tt-in-cagda github similar
• dlicata335/cubicalexperiments github similar