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
  ☆69Updated this week
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆120Updated last year
• playXE / migc
  Simple conservative GC using mimalloc
  ☆40Updated 2 years ago
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 10 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆57Updated 2 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 10 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 3 weeks ago
• phate / jlm
  ☆69Updated this week
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 7 years ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆37Updated last year
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆202Updated last year
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆26Updated 7 months ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 8 months ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆91Updated last week
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆36Updated 2 months ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 6 years ago
• unison-code / unison
  Unison's source code
  ☆108Updated last year
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆26Updated 2 years ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆73Updated 5 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆23Updated this week
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆34Updated last week
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆27Updated 4 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆35Updated 8 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated this week
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆20Updated last week