microsoft / TriesteLinks
A term rewriting system for experimental programming language development.
☆43Updated 2 weeks ago
Alternatives and similar repositories for Trieste
Users that are interested in Trieste are comparing it to the libraries listed below
Sorting:
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- 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
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- MimIR is my Intermediate Representation☆68Updated this week
- ☆48Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- The runtime for the Verona project☆33Updated last month
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 8 months ago
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated this week
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- ☆53Updated last year
- unicode security guidelines for identifiers☆26Updated 5 months ago
- Lightweight framework for easy and efficient code generation☆100Updated 9 months ago
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- A simple borrow-checked language built using LLVM's MLIR☆27Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- Unofficial libjit mirror.☆62Updated 5 years ago
- Generic model checker for concurrent C programs (mirror repository)