Similar repositories to avsm/Idris:

• avsm/Idris github similar
• avsm/ocaml-lens-OLD github similar
• danmey/elfoncaml github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• avsm/dyntype github similar
• avsm/anil.recoil.org github similar
• avsm/homepage github similar
• avsm/shelf github similar
• avsm/idr-IP github similar
• avsm/ciel-ocaml github similar
• samoht/ocaml-annot github similar
• avsm/opam-dev-repository github similar
• djs55/xcp-idl github similar
• raphael-proust/funcconf github similar
• vbmithr/ocaml-tuntap github similar
• yallop/ocaml-java-types github similar
• dpp23/ocaml_revisions github similar
• lnmx/mirage-sandbox github similar
• jonludlam/fedora-ocaml-buildroot github similar
• MagnusS/jitsu-demo-data github similar
• edwinb/idr-IP github similar
• avsm/fp github similar
• williamleferrand/orm github similar
• robhoes/ovsdb-ocaml github similar
• ms705/mirage github similar
• mor1/mirage-perf-avsm github similar
• raphael-proust/mirage github similar
• jonludlam/xen-api github similar
• avsm/mlnodegl github similar
• avsm/mirage-browser github similar
• raphael-proust/QuaLiTyML github similar
• cgreenhalgh/mirageserver github similar
• avsm/ocaml-rpc github similar
• avsm/oud.ocaml.org github similar
• skydeck/ocaml-uri github similar
• samoht/ocaml-re github similar
• djs55/ocaml-cstruct github similar
• rixed/ocaml-4-for-mips github similar
• amirmc/dlfn-www github similar