eMoflon / emoflon-ibexLinks
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
☆17Updated 2 weeks ago
Alternatives and similar repositories for emoflon-ibex
Users that are interested in emoflon-ibex are comparing it to the libraries listed below
Sorting:
- Visual graph rewriting platform☆10Updated last week
- 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+.☆15Updated 3 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆27Updated last year
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- A collection of resources to dive into making OSLC applications☆18Updated 7 months ago
- Language bindings for Maude☆23Updated 5 months ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Unified Maude model-checking tool☆11Updated 5 months ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Whole Platform Language Workbench☆27Updated last year
- Constructing automata with SAT solvers☆8Updated 6 years ago
- ☆34Updated 4 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated this week
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- gemoc-studio☆27Updated 3 months ago
- The Flix Programming Book☆18Updated 2 weeks ago
- The Cubicle model checker☆13Updated last year
- 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
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- Semantic Application Design Language (SADL) Open Source Code☆32Updated 9 months ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Updated 12 years ago
- ☆19Updated 8 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Python term rewriting☆29Updated 12 years ago
- Operations with matrices, SWI pack☆13Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- Type checking and logical inference for JetBrains MPS☆33Updated last month