microsoft / Trieste
A term rewriting system for experimental programming language development.
☆38Updated last month
Related projects ⓘ
Alternatives and complementary repositories for Trieste
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 2 weeks ago
- Fast WebAssembly Baseline Compiler☆54Updated last year
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆26Updated 11 years ago
- A Wait-Free Universal Construct for Large Objects☆96Updated 4 years ago
- MimIR is my Intermediate Representation☆48Updated last week
- ☆51Updated 3 weeks ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆83Updated 3 months ago
- ☆47Updated 4 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated last year
- The runtime for the Verona project☆25Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- LLVM Dialects Library☆22Updated last week
- Tracing JIT compiler and runtime for a subset of the JVM☆23Updated 10 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆110Updated 11 months ago
- Programming Language for Continuous Deep Analytics☆44Updated last year
- Memory Management ToolKit☆31Updated this week
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- A simple borrow-checked language built using LLVM's MLIR☆27Updated 4 years ago
- unicode security guidelines for identifiers☆19Updated last year
- racket llvm C-API bindings☆17Updated 2 years ago
- Lightweight framework for easy and efficient code generation☆98Updated 2 months ago
- Execute and document benchmarks reproducibly.☆84Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆66Updated this week
- Hyaline Reclamation (PLDI '21, PODC '19)☆19Updated 3 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆85Updated 2 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 4 years ago