Alternatives and similar repositories for PochiVM

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

• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated 2 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆171Updated 2 months ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆68Updated last week
• tetzank / coat
  EDSL for C++ to make just-in-time code generation easier
  ☆86Updated 2 years ago
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• smowton / llpe
  ☆53Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆150Updated last month
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆55Updated last year
• deepsea-inria / heartbeat
  Prototype implementation of Heartbeat Scheduling, in C++
  ☆18Updated 2 years ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 5 years ago
• mshockwave / nacro
  A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system
  ☆65Updated 4 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆105Updated 10 months ago
• phate / jlm
  ☆63Updated this week
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆43Updated 3 weeks ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated this week
• cwbaker / lalr
  LALR(1) parser for C++
  ☆79Updated 10 months ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 5 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆154Updated this week
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆36Updated last year
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆120Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated this week
• foonathan / lauf
  Bytecode interpreter
  ☆76Updated 4 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated this week
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆19Updated 4 months ago
• compiler-research / CppInterOp
  A Clang-based C++ Interoperability Library
  ☆70Updated this week
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆27Updated 5 years ago