wholeplatform / whole
Whole Platform Language Workbench
☆27Updated 3 months ago
Related projects: ⓘ
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated last week
- a book about declarative language definition☆22Updated 8 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
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 9 months ago
- Advanced Scripting IDE for JVM based languages.☆28Updated 2 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆75Updated 6 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 5 months ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar☆22Updated 5 years ago
- ☆18Updated 9 months ago
- Java-based lightweight Prolog virtual machine☆31Updated 2 months ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆32Updated 3 weeks ago
- Software Language Engineering Body of Knowledge☆47Updated 4 years ago
- Java <-> XSB Prolog bridge library☆12Updated 3 years ago
- Type checking and logical inference for JetBrains MPS☆31Updated 2 weeks ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆37Updated 3 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- ☆71Updated 4 years ago
- JVM bytecode assembler as REST api☆10Updated 11 months ago
- ☆43Updated 7 months ago
- Port of SwiftyKanren to Kotlin☆17Updated 3 years ago
- gemoc-studio☆24Updated last week
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 2 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 9 months ago
- ECMAScript language implementation for JetBrains MPS☆42Updated 2 months ago
- Software Language Processing Suite☆45Updated 2 years ago
- A complement to ANTLR to get a model from your AST and transform it☆14Updated 4 years ago
- Extensible stream pipelines with object algebras.☆26Updated 9 years ago