melt-umn / silverLinks
An attribute grammar-based programming language for composable language extensions
☆63Updated last week
Alternatives and similar repositories for silver
Users that are interested in silver are comparing it to the libraries listed below
Sorting:
- Attribute grammar Based Language Extensions for C☆40Updated 2 months ago
- An integrated context-aware scanner and parser generator☆20Updated last year
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Coq library for verified low-level programming☆59Updated 7 years ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- LVC verified compiler☆57Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- Python term rewriting☆29Updated 12 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆152Updated 2 months ago
- Gallina to Bedrock2 compilation toolkit☆54Updated this week
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- Collapsing Towers of Interpreters☆91Updated last year
- ☆58Updated 11 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Abstracting Definitional Interpreters☆68Updated 7 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆125Updated 2 years ago
- ☆60Updated 5 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- CLP(SMT) on top of miniKanren☆36Updated 3 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago