Similar repositories to HuwCampbell/optparse-idris:

• gibiansky/IHaskell github similar
• HuwCampbell/optparse-idris github similar
• motemen/gore github similar
• tootsuite/mastodon github similar
• pandas-profiling/pandas-profiling github similar
• coq-contribs/ipc github similar
• tuura/archer github similar
• avanov/liquid-haskell-parsing-demo github similar
• jtpio/xtl-wasm github similar
• cockroachdb/roachspeed github similar
• wenkokke/EnumeratingTheRationals github similar
• jdublu10/STLC-to-SKI github similar
• mokshasoft/idris-rts github similar
• ayberkt/agda-brzozowski github similar
• colin-adams/idris-libmicrohttpd github similar
• libos-nuse/musl github similar
• wilbowma/infernalize github similar
• thalerjonathan/glfw-idris-st github similar
• totalspectrum/proplazyk github similar
• eckart/cairo-idris github similar
• corazza/idris-box2d github similar
• abbradar/unlambda github similar
• lesguillemets/sicp-haskell github similar
• aatxe/cube.idr github similar
• jdublu10/pacman github similar
• ayberkt/chi github similar
• jfdm/idris-argparse github similar
• adamConnerSax/Frames-map-reduce github similar
• ReplicaTest/REPLica github similar
• alpmestan/gloss-juicy github similar
• kolmodin/cabal-install-trace github similar
• MathiasVP/idris-regex github similar
• haskell-suite/haskell-scope github similar
• libos-nuse/frankenlibc github similar
• epost/purescript-any-db github similar
• ivanbakel/coq-antivalence github similar
• mniip/th-tc github similar
• writeoncereadmany/idris-dimensions github similar
• AHartNtkn/IotaTT github similar
• hellerve/unlambda github similar