microsoft / TriesteLinks
A term rewriting system for experimental programming language development.
☆44Updated 2 weeks ago
Alternatives and similar repositories for Trieste
Users that are interested in Trieste are comparing it to the libraries listed below
Sorting:
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- MimIR is my Intermediate Representation☆70Updated this week
- Robust multi-prompt delimited control and effect handlers in C/C++☆122Updated last year
- Lightweight framework for easy and efficient code generation☆100Updated 11 months ago
- Programming language☆37Updated 3 weeks ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 10 months ago
- Fast WebAssembly Baseline Compiler☆57Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆203Updated last year
- Scribe Reference Compiler☆22Updated 2 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 months ago
- ☆69Updated this week
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Bottom Up Rewrite Generator☆29Updated 7 years ago
- The compiler and standard distribution for the C∀ programming language☆80Updated last week
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 4 months ago
- An example of how to construct a parser combinator library in C++. Focus on simplicity, not efficiency.☆24Updated 4 years ago
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Updated 10 months ago
- unicode security guidelines for identifiers☆29Updated 7 months ago
- ☆48Updated 4 years ago
- ☆11Updated 3 years ago
- Unofficial libjit mirror.☆62Updated 5 years ago
- Continuation Passing C☆113Updated 6 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last month
- Memory Management ToolKit☆36Updated 2 weeks ago
- A simple borrow-checked language built using LLVM's MLIR☆27Updated 5 years ago
- The runtime for the Verona project☆34Updated last month
- An attribute grammar-based programming language for composable language extensions☆63Updated this week
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago