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 last year
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆171Updated last month
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆148Updated last month
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• tetzank / coat
  EDSL for C++ to make just-in-time code generation easier
  ☆86Updated 2 years ago
• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆30Updated 6 years ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆69Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆27Updated last week
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated this week
• riswords / quiche
  ☆22Updated 2 years ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 5 years ago
• smowton / llpe
  ☆51Updated last year
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• jermp / mutable_rank_select
  A SIMD-based C++ library providing rank/select queries over mutable bitmaps.
  ☆35Updated 2 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated this week
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 10 months ago
• deepsea-inria / heartbeat
  Prototype implementation of Heartbeat Scheduling, in C++
  ☆18Updated 2 years ago
• InstLatx64 / InstLatX64_Demo
  InstLatX64_Demo
  ☆43Updated this week
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆19Updated 3 months ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆41Updated 2 weeks ago
• llvm / vscode-mlir
  ☆59Updated 11 months ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆36Updated last year
• phate / jlm
  ☆63Updated this week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆164Updated 3 weeks ago
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• Sable / HorsePower
  Optimizing database queries with array programming
  ☆18Updated 4 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆105Updated 9 months ago
• foonathan / lauf
  Bytecode interpreter
  ☆72Updated 3 months ago