metaborg / spoofax-pieLinks
Spoofax implementation using PIE pipelines
☆13Updated last month
Alternatives and similar repositories for spoofax-pie
Users that are interested in spoofax-pie are comparing it to the libraries listed below
Sorting:
- Spoofax runtime☆146Updated 2 months ago
- The code for the series of tutorials on my blog about the GraalVM Truffle language implementation framework☆45Updated 3 months ago
- Datalog that's as easy as ABC.☆59Updated last month
- A framework to build projectional editors running in the browser☆14Updated last year
- TurnKey artifact for Z3☆38Updated 2 weeks ago
- My experimental programming language using Truffle☆111Updated 5 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆79Updated 6 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- A Java parser combinator library written with an unmatched feature set.☆126Updated 3 years ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆427Updated this week
- Datalog with support for SMT queries and first-order functional programming☆158Updated 7 months ago
- JLang: Ahead-of-time compilation of Java programs to LLVM☆298Updated 5 years ago
- Kotlin/Java API for various SMT solvers☆31Updated last month
- Rhyme is an Expressive Data-Centric Query Language☆29Updated last week
- Erlang implementation built on GraalVM/Truffle☆14Updated 6 years ago
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆295Updated this week
- Incremental Program Analysis Framework☆90Updated 4 years ago
- Code Review for JetBrains MPS providing integration with Bitbucket☆15Updated 2 years ago
- A Kotlin Multi-Platform ecosystem for symbolic AI☆104Updated 2 weeks ago
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)☆47Updated last week
- Web Native language Workbench with Projectional Web Editor☆69Updated this week
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlin☆39Updated 4 years ago
- ☆20Updated last year
- Engines, queries, and data for dynamic Datalog computation☆127Updated 3 years ago
- Kotlin Graphviz DOT DSL☆28Updated 2 years ago
- jdclare - a declarative engine by the Modeling Value Group☆11Updated 5 years ago
- A fluent API generator☆25Updated last year
- Kotlin Language Support – AST Library☆112Updated 2 weeks ago
- Adding declarative, reactive and incremental rules to MPS☆21Updated last month
- ☆38Updated 2 months ago