Similar repositories to akr/codegen:

• akr/codegen github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• aquynh/capstone github similar
• meilisearch/MeiliSearch github similar
• tuvtran/project-based-learning github similar
• pixijs/pixi.js github similar
• alexcrichton/cc-rs github similar
• k6io/k6 github similar
• bedrocksystems/cpp2v github similar
• backtracking/ocaml-bdd github similar
• coq-community/reglang github similar
• backtracking/program-proofs-with-why3 github similar
• coq-community/coqffi github similar
• ktahar/ocaml-lp github similar
• palmskog/coq-program-verification-template github similar
• smtcoq/sniper github similar
• rbardou/clap github similar
• damien-pous/relation-algebra github similar
• coq-community/generic-environments github similar
• Drup/functoria-lwt github similar
• CoqHott/exceptional-tt github similar
• mjambon/cmitomli github similar
• shonfeder/kwdcmd github similar
• Eugeny/terminus github similar
• ReactTraining/react-router github similar
• trufflesuite/ganache-cli github similar
• backtracking/flex-array github similar
• c-cube/batsat-ocaml github similar
• OCamlPro/ocaml-perf github similar
• c-cube/ocabot github similar
• mit-plv/rewriter github similar
• nojb/ocaml-maildir github similar
• shaunlebron/parinfer github similar
• nojb/ocaml-graphics-osx github similar
• mirage/duff github similar
• Armael/coq-procrastination github similar
• danburkert/prost github similar