Similar repositories to lambda-11235/FarRP:
lambda-11235/FarRP
github
similar
gibiansky/IHaskell
github
similar
BartAdv/idris-sodium
github
similar
hecrj/iced
github
similar
cpritcha/Idris-libpq
github
similar
RyanGlScott/levitation
github
similar
rintcius/purescript-aui
github
similar
writeoncereadmany/idris-dimensions
github
similar
runKleisli/verified-integer-gaussian-elimination
github
similar
martinescardo/HoTTEST-Summer-School
github
similar
danistefanovic/build-your-own-x
github
similar
Eloston/ungoogled-chromium
github
similar
dwijnand/sbt-dynver
github
similar
nerdvegas/rez
github
similar
Eugeny/terminus
github
similar
quasiquoting/reactive_bananerl
github
similar
Wizek/hs-di-example
github
similar
mitsuba-renderer/mitsuba3
github
similar
blargg/TotalMap
github
similar
justjoheinz/idris-httpclient
github
similar
cheery/idris-vim
github
similar
bgoodspeed/idris-misc
github
similar
bgoodspeed/idris-strings
github
similar
jutaro/YCombinator
github
similar
ghcjs/ghcjs-ffiqq
github
similar
oubiwann/lfe-hop
github
similar
mankyKitty/idris-erlang
github
similar
gallais/idris-tmustache
github
similar
lambda-llama/bitset
github
similar
deepfire/reflex-glfw
github
similar
imuli/flow
github
similar
david-christiansen/idris-tf-random
github
similar
craffit/thesis
github
similar
afcondon/puxws
github
similar
GeorgeJahad/clojure-android
github
similar
oubiwann/behaviour-macros
github
similar
erlanger/nitrolfe
github
similar
ghcjs/diagrams-ghcjs
github
similar
joshvera/software-foundations-in-idris
github
similar
forestbelton/cooper
github
similar