MetaBorgCube / declare-your-languageLinks
a book about declarative language definition
☆23Updated 9 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
Sorting:
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 3 months ago
- Whole Platform Language Workbench☆28Updated last year
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 3 weeks ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 8 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated 3 weeks ago
- A Java parser combinator library written with an unmatched feature set.☆128Updated 3 years ago
- ☆21Updated last year
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- The mbeddr core. An extensible C☆227Updated this week
- Spoofax runtime☆149Updated 5 months ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆434Updated this week
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated last month
- Library-based Language Extensibility☆39Updated 11 years ago
- gemoc-studio☆28Updated 7 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 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 8 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆139Updated 4 years ago
- Datalog that's as easy as ABC.☆63Updated 2 months ago
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- JPL: The Prolog <-> Java interface☆57Updated 2 weeks ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated last year
- A language for data modeling and incremental computing of derived values☆11Updated last year
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- Web Native language Workbench with Projectional Web Editor☆71Updated this week
- ☆34Updated 5 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 5 months ago
- Kodkod solver for relational logic☆79Updated 2 years ago