melt-umn / copper
An integrated context-aware scanner and parser generator
☆18Updated 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☆36Updated this week
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- ☆19Updated 7 years ago
- Software Language Engineering Body of Knowledge☆46Updated 4 years ago
- Higher Order Prolog with Extensional Semantics☆50Updated 4 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 9 months ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- αProlog☆17Updated last year
- Lifting Reduction Semantics through Syntactic Sugar☆13Updated 6 years ago
- SIGPLAN website☆10Updated last week
- ☆30Updated last year
- ☆10Updated 5 years ago
- source code for the bondi programming language☆38Updated 5 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
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- ☆12Updated last week
- SPSC: A Small Positive Supercompiler☆32Updated 5 months ago
- ☆58Updated 10 years ago
- Orc programming language implementation☆42Updated 2 years ago
- A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.☆11Updated 5 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last year
- ☆34Updated 4 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆41Updated 3 months ago
- Core components for the Scribble Java tools☆56Updated last month