eMoflon / emoflon-ibex
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
☆13Updated 2 weeks ago
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
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 2 months ago
- Constructing automata with SAT solvers☆8Updated 6 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
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- ☆34Updated 4 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 2 years ago
- Python term rewriting☆27Updated 11 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- The Cubicle model checker☆13Updated 8 months ago
- ☆19Updated 7 years ago
- Sireum v3☆10Updated last year
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Whole Platform Language Workbench☆27Updated 5 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- lean-related presentations☆16Updated 9 months ago
- Visual graph rewriting platform☆10Updated 7 months ago
- Software Language Engineering Body of Knowledge☆46Updated 4 years ago
- A mathematical foundation for Smalltalk-25☆17Updated this week
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago
- 🔍 Code Search Tools & Experiments☆11Updated this week
- A Tool for Multi-Paradigm Modeling☆23Updated 2 months ago
- Software Language Processing Suite☆45Updated 2 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- Type checking and logical inference for JetBrains MPS☆31Updated last week
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago