Similar repositories to INRIA/velus:

• INRIA/velus github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• backtracking/ocaml-bdd github similar
• tuvtran/project-based-learning github similar
• Eugeny/terminus github similar
• gibiansky/IHaskell github similar
• meilisearch/MeiliSearch github similar
• INRIA/zelus github similar
• ocurrent/opam-repo-ci github similar
• ocaml-gospel/cameleer github similar
• ktahar/ocaml-lp github similar
• jmid/mutaml github similar
• ocamllabs/ocaml-memory-model github similar
• ocurrent/mirage-ci github similar
• backtracking/mlpost github similar
• coq-community/coqoban github similar
• pixijs/pixi.js github similar
• aquynh/capstone github similar
• k6io/k6 github similar
• Eloston/ungoogled-chromium github similar
• RH12503/triangula github similar
• c-cube/quip github similar
• ocaml-multicore/lockfree github similar
• slasser/vermillion github similar
• backtracking/creal github similar
• inria-parkas/sundialsml github similar
• ismailbennani/websocketml github similar
• Chris00/ocaml-interval github similar
• unicoq/unicoq github similar
• shonfeder/um-abt github similar
• mirage/repr github similar
• pqwy/ocaml-papi github similar
• damien-pous/relation-algebra github similar
• dannywillems/RML github similar
• rvantonder/lsif-ocaml github similar
• tomjridge/imp_fs github similar
• coq-community/bits github similar
• mb64/simple-lambda-prolog github similar