melt-umn / copper
An integrated context-aware scanner and parser generator
☆19Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for copper
- An attribute grammar-based programming language for composable language extensions☆59Updated this week
- Attribute grammar Based Language Extensions for C☆37Updated this week
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago
- ☆58Updated 10 years ago
- Fast, simplified WAM-based Prolog system☆18Updated last year
- Boolean Constraint Solving in Prolog☆37Updated last year
- Poplog☆21Updated 14 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 2 weeks ago
- CHR: Leuven Constraint Handling Rules☆24Updated last week
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- My unofficial picat http://picat-lang.org/ repository☆27Updated 10 months ago
- ☆19Updated 7 years ago
- ☆49Updated this week
- ☆34Updated 4 years ago
- Higher Order Prolog with Extensional Semantics☆51Updated 4 years ago
- Java-based lightweight Prolog virtual machine☆33Updated 4 months ago
- Orc programming language implementation☆42Updated 2 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Tutorial for the CHR system☆15Updated 3 years ago
- The Plaid Programming Language Tools☆11Updated 9 years ago
- SIGPLAN website☆10Updated this week
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Optional types for Prolog☆16Updated 4 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- Software Language Engineering Body of Knowledge☆46Updated 4 years ago
- a Compileable statically typed Functional programming Language☆11Updated 9 years ago