Similar repositories to JakobBruenker/curses-idris:

• JakobBruenker/curses-idris github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• precog/quasar github similar
• hecrj/iced github similar
• FreeProving/language-coq github similar
• jfdm/idris-xml github similar
• blockstack/stacks github similar
• robinp/align github similar
• myuon/quartz github similar
• fathyb/carbonyl github similar
• dwijnand/sbt-dynver github similar
• motemen/gore github similar
• thomaseding/vim-launcher github similar
• Eugeny/terminus github similar
• k6io/k6 github similar
• NetchX/Netch github similar
• tuvtran/project-based-learning github similar
• ivanbakel/coq-antivalence github similar
• tdidriksen/copatterns github similar
• shaunlebron/parinfer github similar
• silvanshade/cool-tt github similar
• david-christiansen/tiny-dependent-types github similar
• Heather/Idris.Yaml github similar
• jonsterling/coq-algebra-experiments github similar
• scheme-requests-for-implementation/srfi-105 github similar
• cwtsteven/DGoIM-Compiler github similar
• yizhouzhang/olaf-coq github similar
• wadler/bnfc-examples github similar
• ahmadsalim/fflat-mdsliterals github similar
• 5HT/agda-nr-cats github similar
• goldfirere/ott-tutorial github similar
• sseefried/learning-agda github similar
• relrod/socdiff github similar
• raichoo/IdrisCSVExample github similar
• david-christiansen/idris-code-highlighter github similar
• danelahman/aeff-agda github similar
• robrix/seq github similar
• mukeshtiwari/Idris github similar
• pcaisse/language-map-us github similar