Similar repositories to Heather/Idris.Yaml:

• Heather/Idris.Yaml github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• Heather/Control.Eternal.Idris github similar
• Heather/Synthia github similar
• jfdm/idris-xml github similar
• justjoheinz/idris-httpclient github similar
• relrod/socdiff github similar
• Heather/Sharingan github similar
• LeifW/online-typechecker github similar
• Ralith/quasigroup-completion github similar
• precog/quasar github similar
• kmein/telegram-ciphers github similar
• Heather/Despair github similar
• trillioneyes/idris-directory github similar
• LeifW/idris-xml-simple github similar
• parkoplan/detectParking github similar
• shaunlebron/parinfer github similar
• bamboo/idris-game-of-life github similar
• Heather/HoTT-Theme github similar
• lenadroid/dotnetfringe github similar
• cynede/bat github similar
• david-christiansen/idris-utils github similar
• idris-hackers/idris-posix github similar
• puffnfresh/puffyterm github similar
• jfdm/idris-protocol-examples github similar
• JustinMoser/frontrunner-simulator github similar
• Heather/Perfume github similar
• lenadroid/tasty github similar
• tixxit/idris-curses github similar
• eval-so/frontend github similar
• jonsterling/Agda-Sheaves github similar
• raichoo/IdrisCSVExample github similar
• JakobBruenker/curses-idris github similar
• jauhien/eselect-rust github similar
• eckart/gl-idris github similar
• Fuuzetsu/agdoparsec github similar
• gerddie/gentoo-imaging github similar
• divipp/lgtk github similar
• aliceml/aliceml-alice github similar