Similar repositories to jheiling/idris-electron:

• jheiling/idris-electron github similar
• TheWizardTower/metro github similar
• crunchbang/Higer github similar
• Fresheyeball/haskell-visual-cpp-minimal github similar
• atwupack/LearnOpenGL github similar
• JinWuZhao/idriscanvas github similar
• goldfirere/ghc-proposals github similar
• ppurang/httpize github similar
• brandondyck/idris-vdom github similar
• mcgordonite/idris-binary-rationals github similar
• programminglanguagesclub/elemental-magicks github similar
• runKleisli/verified-integer-gaussian-elimination github similar
• swill/builder-docs github similar
• emptyflash/ivor github similar
• Paramecium13/LSN github similar
• anniecherk/sweetpea-core github similar
• eraserhd/Idris-json github similar
• gallais/idris-tmustache github similar
• JPBotelho/8Bit-Filter github similar
• fieldstrength/xquant github similar
• idream-build/idream github similar
• jdevuyst/dependable-data-structures github similar
• PetriNets/petrinets.github.io github similar
• timjs/idris-clean github similar
• higherkindness/avro-parser-haskell github similar
• capital-match/hdo github similar
• dbp/howtoproveacompiler github similar
• lambda-11235/FarRP github similar
• themattchan/haskell-tiger github similar
• bennofs/haskell-generate github similar
• simerplaha/Actor github similar
• TheWizardTower/monadTransformers github similar
• willklein/astsareawesome github similar
• jdevuyst/rekenaar github similar
• idris-industry/ikan github similar
• QuentinDuval/IdrisPipes github similar
• gonzaw/extensible-records github similar
• alonsodomin/sbt-spark github similar
• mandubian/zpark-ztream github similar
• ctford/flying-spaghetti-monster github similar