Similar repositories to Heather/Control.Eternal.Idris:
Heather/Control.Eternal.Idris
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
Heather/Idris.Yaml
github
similar
LeifW/idris-xml-simple
github
similar
parkoplan/detectParking
github
similar
Heather/Synthia
github
similar
cynede/bat
github
similar
jfdm/idris-xml
github
similar
jfdm/idris-protocol-examples
github
similar
JustinMoser/frontrunner-simulator
github
similar
relrod/socdiff
github
similar
jauhien/eselect-rust
github
similar
Heather/Sharingan
github
similar
rgrinberg/opam-hub
github
similar
gerddie/gentoo-imaging
github
similar
alex-ren/org.ats-lang.toolats
github
similar
imsky/github-fresh
github
similar
EECOLOR/shapeless-wiki
github
similar
megabaks/kernel-cleaner
github
similar
justjoheinz/idris-httpclient
github
similar
jfdm/idris-config
github
similar
david-christiansen/idris-utils
github
similar
raku-community-modules/Web-App-MVC
github
similar
trofi/gentoo-qa
github
similar
eckart/gl-idris
github
similar
ix/pretty-ls
github
similar
trillioneyes/idris-pong
github
similar
JakobBruenker/curses-idris
github
similar
japesinator/tarts
github
similar
andyarvanitis/idris-cplusplus
github
similar
pbl64k/gpif-idris
github
similar
aliceml/aliceml-alice
github
similar
PhDP/Raw
github
similar
divipp/lgtk
github
similar
domdere/fp-in-idris
github
similar
YoloDev/YoloDev.FSharp.AspNet
github
similar
stepcut/idrOS
github
similar
Arcterus/lejit
github
similar
RendleLabs/ObviouslyCookies.js
github
similar