Similar repositories to programminglanguagesclub/elemental-magicks:

• programminglanguagesclub/elemental-magicks github similar
• jheiling/idris-electron github similar
• runKleisli/verified-integer-gaussian-elimination github similar
• danistefanovic/build-your-own-x github similar
• bgoodspeed/idris-misc github similar
• bgoodspeed/idris-strings github similar
• jutaro/YCombinator github similar
• gallais/idris-tmustache github similar
• imuli/flow github similar
• david-christiansen/idris-tf-random github similar
• craffit/thesis github similar
• jdevuyst/dependable-data-structures github similar
• joshvera/software-foundations-in-idris github similar
• forestbelton/cooper github similar
• cpritcha/Idris-libpq github similar
• ctford/flying-spaghetti-monster github similar
• japesinator/Idris-Profunctors github similar
• larrytheliquid/generic-reuse github similar
• stefan-hoeck/idris2-prim github similar
• lambda-11235/FarRP github similar
• ppurang/httpize github similar
• QuentinDuval/IdrisBowlingKata github similar
• corazza/idris-box2d github similar
• RyanGlScott/levitation github similar
• simongregersen/DepSec github similar
• styzystyzy/Axiom_of_Choice github similar
• SimonJF/IdrisNet github similar
• rbarreiro/idrisjs github similar
• idream-build/idream github similar
• justjoheinz/idris-httpclient github similar
• timjs/idris-clean github similar
• emptyflash/ivor github similar
• ahmadsalim/desc-n-crunch github similar
• arianvp/servis github similar
• sto0pkid/CategoryTheory github similar
• fsestini/tt-in-cubical github similar
• byorgey/type-matrices github similar
• PetriNets/petrinets.github.io github similar
• kbertalan/tyttp github similar
• QuentinDuval/IdrisReducers github similar