Similar repositories to jfdm/smokehill:

• jfdm/smokehill github similar
• jfdm/idris-config github similar
• A1kmm/http4idris github similar
• jmars/Records github similar
• jfdm/idris-testing github similar
• justjoheinz/idris-httpclient github similar
• paf31/purescript-foreign-lens github similar
• ahmadsalim/desc-n-crunch github similar
• gallais/idris-tmustache github similar
• janschultecom/idris-refined github similar
• jameshaydon/idris-graphql github similar
• vmchale/permutations github similar
• jmitchell/idris-elixir github similar
• jameshaydon/smproc github similar
• gonzaw/extensible-records github similar
• idream-build/idream github similar
• pvillega/free-tagless-eff github similar
• stefan-hoeck/idris2-sop github similar
• david-christiansen/derive-all-the-instances github similar
• pheymann/specdris github similar
• LukaJCB/tagless-webgl github similar
• edwinb/States github similar
• uwap/idris-http github similar
• aspiwack/peppermint-prover github similar
• jfdm/idris-containers github similar
• bamboo/idris2dart github similar
• rbarreiro/idrisjs github similar
• grin-compiler/idris-grin github similar
• SPY/idris-codegen-wasm github similar
• david-christiansen/idris-quickcheck github similar
• SimonJF/IdrisNet2 github similar
• vmchale/recursion_schemes github similar
• jameshaydon/idris-elixir github similar
• stefan-hoeck/idris2-elab-util github similar
• idris-hackers/idris-llvm github similar
• idris-hackers/IdrisScript github similar
• paf31/purescript-react-explore github similar
• gallais/idris-tparsec github similar
• A1kmm/proofsweeper github similar
• ziman/lightyear github similar