Alternatives and similar repositories for Trieste

Users that are interested in Trieste are comparing it to the libraries listed below

• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆76Updated 2 weeks ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 2 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆126Updated 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
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆206Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 5 months ago
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆102Updated last year
• rems-project / cn
  CN separation logic refinement type system for C
  ☆34Updated this week
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆59Updated 2 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 6 months ago
• BranchTaken / Hemlock
  Programming language
  ☆37Updated 2 months ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆34Updated last week
• rems-project / cerberus
  Cerberus C semantics
  ☆69Updated last month
• phate / jlm
  ☆71Updated this week
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆82Updated this week
• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆27Updated last year
• ademakov / libjit
  Unofficial libjit mirror.
  ☆62Updated 5 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆18Updated 2 months ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆41Updated 2 weeks ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 3 years ago
• unison-code / unison
  Unison's source code
  ☆108Updated last year
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 10 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆36Updated 2 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆155Updated last month
• zyedidia / gpeg
  A PEG parsing machine with support for incremental parsing.
  ☆92Updated 7 months ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆73Updated 5 years ago