microsoft / TriesteLinks
A term rewriting system for experimental programming language development.
☆47Updated 2 weeks ago
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☆82Updated last week
- Simple conservative GC using mimalloc☆41Updated 3 years ago
- Lightweight framework for easy and efficient code generation☆105Updated last year
- Robust multi-prompt delimited control and effect handlers in C/C++☆129Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated 2 years ago
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 7 months ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆207Updated last year
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆72Updated this week
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆106Updated last year
- Generic model checker for concurrent C programs (mirror repository)☆161Updated this week
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆17Updated 8 months ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Some experiments with SMT solvers and GIMPLE IR☆39Updated 2 years ago
- The Higher-Order Intermediate Representation☆161Updated last week
- Bottom Up Rewrite Generator☆29Updated 8 years ago
- The compiler and standard distribution for the C∀ programming language☆83Updated last week
- A simple borrow-checked language built using LLVM's MLIR☆26Updated 5 years ago
- CN separation logic refinement type system for C☆41Updated last week
- Memory Management ToolKit☆37Updated 4 months ago
- Programming language☆38Updated 4 months ago
- The runtime for the Verona project☆35Updated last month
- Parallel ML compiler☆74Updated 5 years ago
- ☆48Updated 5 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆101Updated 2 months ago
- Scribe Reference Compiler☆22Updated 3 months ago
- Execute and document benchmarks reproducibly.☆96Updated 4 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- Unofficial libjit mirror.☆62Updated 5 years ago