microsoft / TriesteLinks
A term rewriting system for experimental programming language development.
☆44Updated last week
Alternatives and similar repositories for Trieste
Users that are interested in Trieste are comparing it to the libraries listed below
Sorting:
- MimIR is my Intermediate Representation☆68Updated this week
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- The runtime for the Verona project☆33Updated last month
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆30Updated 11 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last week
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- ☆63Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- Lightweight framework for easy and efficient code generation☆99Updated 10 months ago
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆151Updated 2 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 9 months ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated this week
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Memory Management ToolKit☆35Updated last month
- A simple borrow-checked language built using LLVM's MLIR☆27Updated 5 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 2 months ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Regionalized Value State Dependence Graph written in Rust☆10Updated 5 years ago
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆25Updated 8 months ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- racket llvm C-API bindings☆17Updated 6 months ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆22Updated 3 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated last week
- LLVM Dialects Library☆22Updated last week
- unicode security guidelines for identifiers☆25Updated 6 months ago
- Programming language☆36Updated 4 months ago
- Research unikernel for virtualized services☆50Updated 2 years ago