Similar repositories to joshvera/software-foundations-in-idris:

• joshvera/software-foundations-in-idris github similar
• bgoodspeed/idris-misc github similar
• bgoodspeed/idris-strings github similar
• jutaro/YCombinator github similar
• imuli/flow github similar
• david-christiansen/idris-tf-random github similar
• craffit/thesis github similar
• forestbelton/cooper github similar
• cpritcha/Idris-libpq github similar
• larrytheliquid/generic-reuse github similar
• RyanGlScott/levitation github similar
• styzystyzy/Axiom_of_Choice github similar
• SimonJF/IdrisNet github similar
• runKleisli/verified-integer-gaussian-elimination github similar
• justjoheinz/idris-httpclient github similar
• ahmadsalim/desc-n-crunch github similar
• sto0pkid/CategoryTheory github similar
• gallais/idris-tmustache github similar
• fsestini/tt-in-cubical github similar
• puffnfresh/stl-idris github similar
• byorgey/type-matrices github similar
• japesinator/Idris-Profunctors github similar
• programminglanguagesclub/elemental-magicks github similar
• lambda-11235/FarRP github similar
• benjaminselfridge/propcheck github similar
• danilkolikov/categories github similar
• jmitchell/idris-elixir github similar
• benjaminselfridge/logix github similar
• HuwCampbell/idris-lens github similar
• idris-hackers/idris-lens github similar
• ziman/idris-ocaml github similar
• paf31/purescript-graphics-vis github similar
• kowainik/idris-patricia github similar
• thalerjonathan/gloss-idris github similar
• idream-build/idream github similar
• thsutton/cha github similar
• sellout/Iaia github similar
• deech/LeftPad github similar
• gallais/typing-with-leftovers github similar
• jaspervdj/cabal-dependency-licenses github similar