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
  ☆57Updated 2 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆69Updated this week
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆44Updated last month
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆178Updated last week
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆30Updated 11 years ago
• smowton / llpe
  ☆53Updated last year
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆109Updated 11 months ago
• phate / jlm
  ☆69Updated this week
• compiler-research / CppInterOp
  A Clang-based C++ Interoperability Library
  ☆73Updated this week
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆37Updated last year
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆20Updated 5 months ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆155Updated 2 weeks ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆156Updated 2 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated last month
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• jermp / mutable_rank_select
  A SIMD-based C++ library providing rank/select queries over mutable bitmaps.
  ☆35Updated 2 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 8 months ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆99Updated 3 years ago
• deepsea-inria / heartbeat
  Prototype implementation of Heartbeat Scheduling, in C++
  ☆18Updated 3 years ago
• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆97Updated 5 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆153Updated 3 months ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 3 weeks ago
• tetzank / coat
  EDSL for C++ to make just-in-time code generation easier
  ☆86Updated 2 years ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated last week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 10 months ago