Similar repositories to bjornbm/dimensional-classic:

• bjornbm/dimensional-classic github similar
• mounty1/JackRose github similar
• kofno/purescript-aws-lambda github similar
• NorfairKing/the-notes github similar
• simonmar/ecosystem-proposals github similar
• philopon/purescript-json-deprecated github similar
• LLNL/backstroke github similar
• toothbrush/reflection-proofs github similar
• jvoigtlaender/elm-drag github similar
• bobatkey/foveran github similar
• tweag/ghc github similar
• hansonkd/Wheb-Framework github similar
• antitypical/Manifold github similar
• zalora/sproxy github similar
• kofno/BasicLambda github similar
• m0ar/lollipop github similar
• logicmoo/logicmoo_workspace github similar
• Saizan/cubical-demo github similar
• PLSysSec/lio github similar
• agrafix/users github similar
• jstolarek/why-dependent-types-matter github similar
• xixixao/Golem github similar
• bjornbm/dimensional github similar
• GaloisInc/smaccmpilot-build github similar
• jozefg/hm github similar
• scott-fleischman/agda-from-nothing github similar
• chrisdone/ircbrowse github similar
• ocharles/Francium github similar
• anchor/haskell-cheat-sheets github similar
• edwinb/Protocols github similar
• kosmikus/SSGEP github similar
• gasche/popl2018-papers github similar
• zalora/upcast github similar
• ocharles/netwire-classics github similar
• agda/agda-frp-js github similar
• talw/crisp-compiler github similar
• idris-hackers/atom-language-idris github similar
• luqui/vatican github similar
• ilya-klyuchnikov/lambdapi github similar
• pigworker/MetaprogAgda github similar