Similar repositories to jfdm/idris-xml:

• jfdm/idris-xml github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• Heather/Control.Eternal.Idris github similar
• david-christiansen/idris-utils github similar
• Heather/Idris.Yaml github similar
• relrod/socdiff github similar
• idris-hackers/eff-tutorial github similar
• soimort/idris-commonmark github similar
• JakobBruenker/curses-idris github similar
• andyarvanitis/idris-cplusplus github similar
• divipp/lgtk github similar
• andrewthad/lens-prelude github similar
• precog/quasar github similar
• pixijs/pixi.js github similar
• hecrj/iced github similar
• domdere/fp-in-idris github similar
• trillioneyes/idris-directory github similar
• LeifW/idris-xml-simple github similar
• parkoplan/detectParking github similar
• shaunlebron/parinfer github similar
• soenkehahn/dead-code-detection github similar
• AshyIsMe/lambdatwit github similar
• justjoheinz/idris-httpclient github similar
• david-christiansen/helm-idris github similar
• mgsloan/instance-templates github similar
• SimonJF/IdrisNet2 github similar
• Heather/Synthia github similar
• cynede/bat github similar
• dnaq/crypto-sodium github similar
• nushio3/unittyped github similar
• ttuegel/autonix-deps github similar
• jonsterling/TT-Reflection github similar
• ahmadsalim/fflat-mdsliterals github similar
• jfdm/idris-protocol-examples github similar
• JustinMoser/frontrunner-simulator github similar
• puffnfresh/puffyterm github similar
• david-christiansen/IdrisSqlite github similar
• edwinb/Eff-new github similar