MetaBorgCube / declare-your-language
a book about declarative language definition
☆23Updated 8 years ago
Alternatives and similar repositories for declare-your-language:
Users that are interested in declare-your-language are comparing it to the libraries listed below
- ☆20Updated last year
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 11 months ago
- Resumable exceptions and delimited continuations for JVM☆40Updated last week
- Library-based Language Extensibility☆39Updated 10 years ago
- Whole Platform Language Workbench☆27Updated 10 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 3 weeks ago
- gemoc-studio☆26Updated 3 weeks ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Type checking and logical inference for JetBrains MPS☆32Updated 3 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- SOMns: A Newspeak for Concurrency Research☆68Updated last month
- ☆34Updated 4 years ago
- Clafer is a lightweight modeling language☆45Updated last month
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆78Updated 6 years ago
- Java-based lightweight Prolog virtual machine☆34Updated 8 months ago
- ☆71Updated 4 years ago
- The Melange Language Workbench☆29Updated last year
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Spoofax runtime☆140Updated last month
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.☆25Updated 7 years ago
- A language for data modeling and incremental computing of derived values☆11Updated 10 months ago
- Java Code Generator for Idris☆71Updated 9 years ago
- SCROLL - SCala ROLes Language (A DSL based on Scala for role-based programming and dispatch)☆27Updated this week
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago