Similar repositories to edwinb/Idris-old:
edwinb/Idris-old
github
similar
gibiansky/IHaskell
github
similar
avsm/Idris
github
similar
avsm/ocaml-lens-OLD
github
similar
danistefanovic/build-your-own-x
github
similar
avsm/mlnodegl
github
similar
mirage/merge-queues
github
similar
dsheets/ocamljs
github
similar
samoht/camlscript
github
similar
danmey/elfoncaml
github
similar
vstakhov/ocaml-ucl
github
similar
dsheets/xmlmu
github
similar
dsheets/ocaml-openssl
github
similar
raphael-proust/ocaml9p
github
similar
lpw25/opam-units
github
similar
dsheets/ocamlary-test-library
github
similar
MagnusS/mirage-bench
github
similar
avsm/ocaml-lwt-json-logger
github
similar
djs55/ocaml-libvirt
github
similar
dsheets/htmlmu
github
similar
dsheets/ocaml-axtls
github
similar
IRILL/cudf_remote_proxy
github
similar
hhughes/ocaml-frui
github
similar
besport/ocaml-cohttpserver
github
similar
ashima/demo-lib
github
similar
djs55/ocaml-xenstore
github
similar
rgrinberg/ocaml-diffbot
github
similar
fmp88/ocaml-czmq
github
similar
vbmithr/ocaml-bitstamp-api
github
similar
bennn/assertions
github
similar
yomimono/charrua-client
github
similar
danmey/Dom_react
github
similar
avsm/ocaml-ld
github
similar
ashima/ocaml-semver
github
similar
djs55/message-switch
github
similar
djs55/ocaml-vnc
github
similar
vbmithr/ocaml-zbar
github
similar
AltGr/docker-opam
github
similar
Arash-Afshar/CoreML
github
similar
protz/chaml
github
similar