eMoflon / emoflon-ibexView external linksLinks
Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
☆17Dec 9, 2025Updated 2 months 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☆10Jun 3, 2025Updated 8 months ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- OSLC for Python☆22Apr 26, 2023Updated 2 years ago
- An attribute grammar-based programming language for composable language extensions☆68Updated this week
- Project to revive the KittyFlap: A web GUI that allows control of the cat flap on the local network without the official KittyFlap app.☆17Feb 8, 2026Updated last week
- Fast matrix multiplication☆31Jul 6, 2021Updated 4 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Oct 3, 2025Updated 4 months ago
- The rule-based graph programming language GP 2☆77Nov 25, 2025Updated 2 months ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆32Dec 4, 2025Updated 2 months ago
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- In-memory OLAP SQL server for object storage data.☆14Oct 15, 2025Updated 4 months ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated last week
- An implementation of derivative parsing in the parser combinator framework☆59Dec 2, 2010Updated 15 years ago
- Java-based lightweight Prolog virtual machine☆37Jul 3, 2024Updated last year
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 5 years ago
- ☆12Nov 22, 2024Updated last year
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 5 months ago
- Javascript implementation of the Reticulum Network Stack☆17Feb 10, 2025Updated last year
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- ☆10Aug 25, 2020Updated 5 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- Specifications for better computing☆10Nov 19, 2019Updated 6 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- Solver in the low-rank tensor train format with cross approximation approach for the multidimensional Fokker-Planck equation☆14Oct 24, 2023Updated 2 years ago
- Extension Functions allowing Saxon to validate documents against RelaxNG Schemas☆11Aug 10, 2021Updated 4 years ago
- ☆34Oct 12, 2020Updated 5 years ago
- ☆14May 12, 2025Updated 9 months ago
- Editor for animated code snippets using XState & Effect・Newsletter sandromaglione.com☆10Feb 14, 2024Updated 2 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Apr 18, 2019Updated 6 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation☆11Nov 8, 2022Updated 3 years ago
- A framework to support digital engineering in the python language☆12Jul 29, 2025Updated 6 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago