sillycross / PochiVM

Related projects ⓘ

Alternatives and complementary repositories for PochiVM

• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆54Updated last year
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆26Updated 11 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆157Updated this week
• tetzank / coat
  EDSL for C++ to make just-in-time code generation easier
  ☆82Updated last year
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆38Updated last month
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆134Updated 2 months ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆65Updated 3 years ago
• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆29Updated 5 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆15Updated this week
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆68Updated this week
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆158Updated 2 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated last year
• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆96Updated 4 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 4 years ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆34Updated 7 months ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆86Updated 2 years ago
• Sable / HorsePower
  Optimizing database queries with array programming
  ☆18Updated 4 years ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆21Updated 2 weeks ago
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆27Updated 4 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆95Updated 3 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆48Updated 2 weeks ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• cmuparlay / flock
  Library for lock-free locks
  ☆75Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆84Updated 2 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• phate / jlm
  ☆52Updated this week
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆51Updated 10 months ago
• compiler-research / CppInterOp
  A Clang-based C++ Interoperability Library
  ☆52Updated this week
• deech / libclang-static-build
  ☆95Updated 2 years ago