Alternatives and similar repositories for oxide:

Users that are interested in oxide are comparing it to the libraries listed below

• phate / jive
  ☆14Updated 3 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• phate / jlm
  ☆57Updated this week
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• pornin / cycle-counter
  ☆21Updated last month
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆35Updated 8 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆35Updated 2 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 2 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆16Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• uw-unsat / jitsynth
  ☆17Updated 4 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 8 months ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆51Updated this week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆25Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• ktran / clairvoyance
  Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.
  ☆14Updated 5 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year