Similar repositories to smfactor/UnitsAsTypes:

• smfactor/UnitsAsTypes github similar
• polasek/idris-scientific github similar
• gergoerdi/system-f-agda github similar
• trillioneyes/idris-toys github similar
• LeifW/online-typechecker github similar
• IanOrton/decomposing-univalence github similar
• SimonJF/IdrisNet github similar
• laughedelic/sublime-idris github similar
• agrafix/reroute github similar
• raichoo/31C3Slides github similar
• habemus-papadum/stack-notebook github similar
• olivierverdier/GeometricAlgebra github similar
• martinrehfeld/docker-haskell-platform github similar
• dysinger/agda-haskell-c-ffi-layer-cake github similar
• jonsterling/agda-effectful-forcing github similar
• kizzx2/illustrated-haskell github similar
• FranckS/RingIdris github similar
• mnieper/gravity github similar
• esapulkkinen/cifl-math-library github similar
• srdqty/talc-3.0 github similar
• edwinb/Eff github similar
• edwinb/Eff-new github similar
• sellout/Idris-CPDT github similar
• jonsterling/constructive-sheaf-semantics github similar
• byorgey/type-matrices github similar
• gelisam/commutative github similar
• kfish/const-math-ghc-plugin github similar
• ericfinster/opetopes-in-agda github similar
• ziman/itt github similar
• nmvdw/Three-HITs github similar
• benjaminselfridge/propcheck github similar
• bitonic/hakyll-agda github similar
• dorchard/effectful-explanations-talk github similar
• reynir/Verified github similar
• GaloisInc/lean-haskell-bindings github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• langston-barrett/coq-big-o github similar
• benjaminselfridge/logix github similar
• ezyang/lr-agda github similar
• RobertHarper/hott-notes github similar