Alternatives and similar repositories for Trieste:

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

• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 2 weeks ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆56Updated this week
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 3 months ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆31Updated 2 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆39Updated 2 years ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆25Updated 2 months ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆116Updated last year
• GPUOpen-Drivers / llvm-dialects
  LLVM Dialects Library
  ☆22Updated 2 weeks ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• SOM-st / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆15Updated this week
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated this week
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 5 months ago
• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆30Updated 6 years ago
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆20Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆103Updated 5 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated last week
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆27Updated 4 years ago
• Esvandiary / DynASM
  DynASM - a Dynamic Assembler for code generation engines
  ☆21Updated 4 years ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆88Updated 3 months ago
• ademakov / libjit
  Unofficial libjit mirror.
  ☆59Updated 4 years ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆45Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 2 months ago