eMoflon / emoflon-ibex
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
☆17Updated this week
Alternatives and similar repositories for emoflon-ibex:
Users that are interested in emoflon-ibex are comparing it to the libraries listed below
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Visual graph rewriting platform☆10Updated 11 months ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 6 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 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
- ☆19Updated 8 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆14Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 10 months ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- A Tool for Multi-Paradigm Modeling☆23Updated 6 months ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Partial evaluation of Python code☆20Updated 2 years ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆37Updated 4 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- A mathematical foundation for Smalltalk-25☆17Updated last week
- 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 10 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated 9 months ago
- Semantic flow graphs for data science☆28Updated 2 years ago
- Java <-> XSB Prolog bridge library☆12Updated 4 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated last year
- ☆34Updated 4 years ago
- VATA Tree Automata Library☆32Updated 7 months ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆29Updated 9 years ago
- The Flix Programming Book☆17Updated last week
- Whole Platform Language Workbench☆27Updated 10 months ago