Similar repositories to julesjacobs/cgraphs:

• julesjacobs/cgraphs github similar
• danistefanovic/build-your-own-x github similar
• uds-psl/autosubst-ocaml github similar
• bedrocksystems/cpp2v github similar
• gares/coq-defunctor github similar
• tchajed/coq-classes github similar
• scaup/fae-gtlc-mu github similar
• Zdancewic/ccc github similar
• vzaliva/coq-switch github similar
• nikivazou/co-liquid github similar
• lykmast/co-liquid github similar
• ppedrot/ll-coq github similar
• damien-pous/coinduction github similar
• vehicle-lang/vehicle-formalisation github similar
• yforster/coqtheorem github similar
• opencompl/lean-mlir-semantics github similar
• vellvm/ctrees github similar
• nikivazou/liquid-meta github similar
• coq-community/atbr github similar
• tchajed/rdb github similar
• gabriel-fallen/bidirectional-demo github similar
• forked-from-1kasper/bravo github similar
• tilk/yieldfsm github similar
• navilan/wabi github similar
• logsem/free-theorems-sl github similar
• yatima-inc/Parsec.lean github similar
• nadia-polikarpova/cyclegg github similar
• anishathalye/knox github similar
• javra/iit github similar
• nkandpa2/he_jax github similar
• lecopivo/lean4-karray github similar
• laMudri/generic-lr github similar
• samuelgruetter/coq-smt-notations github similar
• duckki/lean-quantum github similar
• dunnl/tealeaves github similar
• hargoniX/cpdt-lean github similar
• ejgallego/coq-universe github similar
• mit-plv/rewriter github similar
• minkiminki/Ordinal github similar
• CertiGraph/CertiGraph github similar