Similar repositories to agda/agda-ocaml:

• agda/agda-ocaml github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• bobatkey/modulog github similar
• b0-system/b0 github similar
• ReactTraining/react-router github similar
• hecrj/iced github similar
• c-cube/olinq github similar
• lpw25/ocaml-typed-effects github similar
• xapi-project/ocaml-crc github similar
• let-def/goo github similar
• let-def/inuit github similar
• OCamlPro/ocp-ocamlres github similar
• rlepigre/ocaml-bindlib github similar
• chambart/ocaml-nullable-array github similar
• stedolan/linkage github similar
• cristianoc/REInfer github similar
• savonet/ocaml-cry github similar
• let-def/distwit github similar
• pixijs/pixi.js github similar
• rgrinberg/opam-lock github similar
• Drup/bytepdf github similar
• yallop/ocaml-bindings-generator github similar
• dsheets/ocaml-osx-fsevents github similar
• anuragsoni/kqueue-ml github similar
• meilisearch/MeiliSearch github similar
• k6io/k6 github similar
• vishesh/racketscript github similar
• Armael/marracheck github similar
• Octachron/ppx_listlike github similar
• samoht/depyt github similar
• ocaml-ppx/ocaml-migrate-parsetree github similar
• keigoi/session-ocaml github similar
• yallop/staged-generic-programming github similar
• ocaml-community/meta github similar
• dbuenzli/fut github similar
• ocaml-ppx/ppx_view github similar
• yomimono/ppx_deriving_crowbar github similar
• rgrinberg/ranger github similar