eMoflon / emoflon-ibex
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
☆13Updated this week
Related projects ⓘ
Alternatives and complementary repositories for emoflon-ibex
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Visual graph rewriting platform☆10Updated 7 months ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- ☆19Updated 7 years ago
- Whole Platform Language Workbench☆27Updated 5 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 10 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- The Cubicle model checker☆13Updated 7 months ago
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- ☆34Updated 4 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆22Updated 5 months ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- Python term rewriting☆27Updated 11 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆27Updated 7 years ago
- Clafer is a lightweight modeling language☆45Updated 11 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 2 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆20Updated 11 months ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last month
- A rule engine based on Attempto Controlled English☆18Updated last week
- Type checking and logical inference for JetBrains MPS☆31Updated 2 weeks ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆36Updated 9 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 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
- A compiler, testing bed, and standard library for the Choral programming language.☆25Updated last week
- Debugger in the Trepan family for x-python☆17Updated last month
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago
- A scrapbook for Haskell developers☆16Updated 14 years ago