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
  ☆75Updated this week
• 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++
  ☆124Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆59Updated 2 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 4 months ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆41Updated this week
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆102Updated last year
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 5 months ago
• phate / jlm
  ☆69Updated this week
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago
• 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
• 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 11 months ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆34Updated 2 weeks ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 10 months ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆81Updated 3 weeks ago
• unison-code / unison
  Unison's source code
  ☆108Updated last year
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 8 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆93Updated 2 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆15Updated last month
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 2 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆18Updated 2 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆36Updated last month
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆205Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆25Updated last year
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆64Updated this week
• ademakov / libjit
  Unofficial libjit mirror.
  ☆62Updated 5 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year