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
  ☆30Updated 11 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆176Updated 2 weeks ago
• deepsea-inria / heartbeat
  Prototype implementation of Heartbeat Scheduling, in C++
  ☆18Updated 2 years ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆19Updated 4 months ago
• tetzank / coat
  EDSL for C++ to make just-in-time code generation easier
  ☆86Updated 2 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆151Updated 2 months ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆52Updated 5 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆68Updated last week
• smowton / llpe
  ☆53Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• mshockwave / nacro
  A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system
  ☆65Updated 5 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.
  ☆156Updated 2 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆29Updated this week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 9 months ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆44Updated last week
• cmuparlay / flock
  Library for lock-free locks
  ☆82Updated last year
• phate / jlm
  ☆63Updated this week
• jermp / mutable_rank_select
  A SIMD-based C++ library providing rank/select queries over mutable bitmaps.
  ☆35Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆108Updated 10 months ago
• yosefk / funtrace
  A fast, small C/C++ function call tracer for x86/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries
  ☆173Updated 3 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆155Updated last week
• compiler-research / CppInterOp
  A Clang-based C++ Interoperability Library
  ☆73Updated this week
• harp-lab / gdlog
  ☆82Updated 8 months ago
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆53Updated 2 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 3 weeks ago