Similar repositories to metaocaml/metaocaml-opam:

• gibiansky/IHaskell github similar
• metaocaml/metaocaml-opam github similar
• expnkx/fast_io github similar
• bedrocksystems/cpp2v github similar
• k6io/k6 github similar
• mikeshulman/ohtt github similar
• jmlowenthal/staged-streams.agda github similar
• tsung-ju/SystemF github similar
• casvdrest/staged-effects.agda github similar
• neel-krishnaswami/ott-example github similar
• silvanshade/cool-tt github similar
• yallop/ocaml-ctypes-expat-example github similar
• opencompl/egg-tactic-code github similar
• garrigue/mixev github similar
• phadej/staged github similar
• ocharles/ghc-nix github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• pixijs/pixi.js github similar
• ReactTraining/react-router github similar
• danistefanovic/build-your-own-x github similar
• ubuntu/microk8s github similar
• meilisearch/MeiliSearch github similar
• motemen/gore github similar
• AestheticIntegration/ipl-vscode github similar
• google/shaka-player github similar
• oven-sh/bun github similar
• jonsterling/lecture-notes github similar
• heliaxdev/witch github similar
• smlnj/smlnj github similar
• thautwarm/original-posting github similar
• ralsei/six-eyes github similar
• silvanshade/agda-nr-cats github similar
• jmlowenthal/agda-c github similar
• sadiqj/runtime_events_tools github similar
• casvdrest/agda-finally-tagless github similar
• dozzman/dissertation github similar
• tapfm/metaocaml-asn1-combinators github similar
• zhelih/wombet github similar
• uwplse/coq-plugin-lib github similar