microsoft / TriesteLinks
A term rewriting system for experimental programming language development.
☆47Updated this week
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☆41Updated 2 years ago
- MimIR is my Intermediate Representation☆80Updated this week
- Lightweight framework for easy and efficient code generation☆104Updated last year
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- ☆71Updated last week
- Robust multi-prompt delimited control and effect handlers in C/C++☆128Updated last year
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated 2 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 last year
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆206Updated last year
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆17Updated 6 months ago
- CN separation logic refinement type system for C☆38Updated this week
- Memory Management ToolKit☆37Updated 3 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- Unison's source code☆108Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Bottom Up Rewrite Generator☆29Updated 8 years ago
- The runtime for the Verona project☆35Updated last month
- ☆48Updated 5 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 11 months ago
- Programming language☆38Updated 3 months ago
- unicode security guidelines for identifiers☆32Updated 10 months ago
- Some experiments with SMT solvers and GIMPLE IR☆39Updated 2 years ago
- A simple borrow-checked language built using LLVM's MLIR☆27Updated 5 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- ☆11Updated 3 years ago
- Cerberus C semantics☆71Updated 2 months ago
- The compiler and standard distribution for the C∀ programming language☆83Updated 3 weeks ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 5 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated last year
- An attribute grammar-based programming language for composable language extensions☆65Updated this week