Similar repositories to mvdcamme/meta-tracing-JIT:

• mvdcamme/meta-tracing-JIT github similar
• danistefanovic/build-your-own-x github similar
• thrunduil/Arrow github similar
• eholk/scheme-fun github similar
• keean/Compositional-Typing-Inference github similar
• tech-srl/prime github similar
• mattmight/derp2 github similar
• MarisaKirisame/algebraic_data_type github similar
• phate/jlm github similar
• repos-bitc/bitc github similar
• jacobstanley/ssa-anf github similar
• keean/zenscript github similar
• cmu-phil/Spectral github similar
• kseo/poly_constraints github similar
• dibyendumajumdar/dmr_c github similar
• anse1/firmforth github similar
• MarisaKirisame/first_order_logic_prover github similar
• GaloisInc/saw-core github similar
• metaocaml/ber-metaocaml github similar
• plum-umd/abstracting-definitional-interpreters github similar
• UCSD-PL/refscript github similar
• etaoins/llambda github similar
• ManticoreProject/manticore github similar
• kragen/peg-bootstrap github similar
• samuelgruetter/dot-calculus github similar
• MichaelRFairhurst/vaiven github similar
• mortberg/yacctt github similar
• bthies/streamit github similar
• TiarkRompf/minidot github similar
• mlemerre/l-lang github similar
• fitzgen/bacon-rajan-cc github similar
• racket/redex github similar
• leanprover/logic_and_proof github similar
• crcx/littlesmalltalk github similar
• ocamllabs/compiler-hacking github similar
• stevedekorte/garbagecollector github similar
• ilya-klyuchnikov/lambdapi github similar
• cesquivias/mumbler github similar
• epfl-lara/ScalaZ3 github similar
• eth-sri/ELINA github similar