microsoft / TriesteLinks
A term rewriting system for experimental programming language development.
☆44Updated last month
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☆71Updated last week
- Lightweight framework for easy and efficient code generation☆102Updated last year
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 11 months ago
- Fast WebAssembly Baseline Compiler☆59Updated 2 years ago
- ☆68Updated this week
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 months ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Execute and document benchmarks reproducibly.☆92Updated last month
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- ☆48Updated 4 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆124Updated last year
- An attribute grammar-based programming language for composable language extensions☆63Updated last week
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆204Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- Unison's source code☆108Updated last year
- Bottom Up Rewrite Generator☆29Updated 8 years ago
- unicode security guidelines for identifiers☆31Updated 8 months ago
- Attribute grammar Based Language Extensions for C☆41Updated last month
- EBNF grammar of LLVM IR assembly.☆65Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated last month
- A header-only C++ library for writing compiler/interpreter frontends.☆15Updated last week
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 9 months ago
- Unofficial libjit mirror.☆62Updated 5 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- CN separation logic refinement type system for C☆28Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- The compiler and standard distribution for the C∀ programming language☆81Updated 2 weeks ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 years ago
- Scribe Reference Compiler☆22Updated this week