Similar repositories to laughedelic/sublime-idris:

• laughedelic/sublime-idris github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• Heather/Synthia github similar
• smfactor/UnitsAsTypes github similar
• shayan-najd/wl-pprint github similar
• trillioneyes/idris-canvas github similar
• jonsterling/constructive-sheaf-semantics github similar
• trillioneyes/idris-toys github similar
• eckart/cairo-idris github similar
• IanOrton/decomposing-univalence github similar
• SimonJF/IdrisNet github similar
• raichoo/31C3Slides github similar
• Heather/idris-react-electron github similar
• edwinb/ConcIO github similar
• justjoheinz/idris-httpclient github similar
• emptyflash/ivor github similar
• mnieper/gravity github similar
• Heather/Idris.Yaml github similar
• jonsterling/agda-effectful-forcing github similar
• eraserhd/Idris-json github similar
• idris-hackers/idris-lens github similar
• gallais/idris-tmustache github similar
• sellout/Idris-CPDT github similar
• eckart/gl-idris github similar
• idris-hackers/idris-free github similar
• pbl64k/gpif-idris github similar
• japesinator/Idris-Profunctors github similar
• Trundle/idris-go github similar
• nmvdw/Three-HITs github similar
• luqui/dana github similar
• domdere/fp-in-idris github similar
• idris-hackers/idris-posix github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• jaredloomis/Idris-HoTT github similar
• jfdm/idris-config github similar
• FranckS/RingIdris github similar
• Thimoteus/purescript-transformerless github similar
• david-christiansen/IdrisSqlite github similar