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
  ☆60Updated 2 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆82Updated last week
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆34Updated 12 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆47Updated 3 weeks ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆184Updated last week
• phate / jlm
  ☆71Updated last week
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆161Updated this week
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆64Updated 4 years ago
• smowton / llpe
  ☆55Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆160Updated last week
• compiler-research / CppInterOp
  A Clang-based C++ Interoperability Library
  ☆85Updated last week
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆123Updated 2 years ago
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆146Updated 3 years ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago
• tetzank / coat
  EDSL for C++ to make just-in-time code generation easier
  ☆86Updated 2 years ago
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆26Updated 5 years ago
• jfbastien / jit-talk
  ☆48Updated 5 years ago
• unison-code / unison
  Unison's source code
  ☆109Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆113Updated last month
• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆96Updated 5 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• weliveindetail / JitFromScratch
  Example project from my talks in the LLVM Social Berlin and C++ User Group
  ☆176Updated 4 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 4 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆72Updated 5 months ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆23Updated 9 months ago
• simdjson / simdjson_experiments_vldb2019
  Detailed experiments over simdjson for VLDB article (2019) and future work
  ☆21Updated 5 years ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆158Updated 5 months ago