metaborg / spoofax-pieLinks
Spoofax implementation using PIE pipelines
☆14Updated 9 months ago
Alternatives and similar repositories for spoofax-pie
Users that are interested in spoofax-pie are comparing it to the libraries listed below
Sorting:
- A Java parser combinator library written with an unmatched feature set.☆131Updated 4 years ago
- Spoofax runtime☆160Updated 9 months ago
- My experimental programming language using Truffle☆113Updated 5 years ago
- Datalog that's as easy as ABC.☆67Updated 5 months ago
- A Kotlin Multi-Platform ecosystem for symbolic AI☆113Updated this week
- Kotlin/Java API for various SMT solvers☆36Updated 3 months ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆80Updated 7 years ago
- Port of SwiftyKanren to Kotlin☆18Updated 4 years ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆304Updated this week
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆448Updated this week
- Cell compiler☆117Updated 2 years ago
- The code for the series of tutorials on my blog about the GraalVM Truffle language implementation framework☆49Updated 2 months ago
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlin☆40Updated 4 years ago
- Cross-platform window management and OS integration library for Java☆623Updated 2 weeks ago
- Datalog compiler embedded in Rust as a procedural macro☆500Updated last month
- TurnKey artifact for Z3☆43Updated 3 months ago
- Logic programming in Rust☆528Updated 3 months ago
- Engines, queries, and data for dynamic Datalog computation☆133Updated 4 years ago
- a structured interaction engine 🗜️ ⚗️☆497Updated 2 years ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Updated 9 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- ECMAScript language implementation for JetBrains MPS☆41Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Port of the Shen programming language to the Graal runtime☆26Updated 8 years ago
- jetpad-projectional☆73Updated 3 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆327Updated 7 months ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Updated last year
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- Prolog programming for the Java platform.☆39Updated 3 weeks ago