melt-umn / silver
An attribute grammar-based programming language for composable language extensions
☆59Updated this week
Related projects ⓘ
Alternatives and complementary repositories for silver
- Attribute grammar Based Language Extensions for C☆36Updated this week
- An integrated context-aware scanner and parser generator☆18Updated 11 months ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- LVC verified compiler☆57Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- Compiler and tools for the L programming language☆72Updated 6 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 9 months ago
- Self-hosting compiler for the Grace programming language☆39Updated 5 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Gallina to Bedrock2 compilation toolkit☆50Updated last month
- ☆19Updated 7 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 5 years ago
- Coq library for verified low-level programming☆57Updated 7 years ago
- Parallel ML compiler☆71Updated 4 years ago
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- SPSC: A Small Positive Supercompiler☆32Updated 5 months ago
- MLWorks is a Standard ML compiler and development environment.☆179Updated 6 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- αProlog☆17Updated last year
- Orc programming language implementation☆42Updated 2 years ago