BackofenLab / GGLLinks
Graph Grammar Library
☆26Updated 8 years ago
Alternatives and similar repositories for GGL
Users that are interested in GGL are comparing it to the libraries listed below
Sorting:
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆122Updated this week
- Differentiable Forth Interpreter☆74Updated 8 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- ☆37Updated last month
- SWI Prolog library to interface to the GPT API☆20Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- FRP: Fast Random Projections☆43Updated 5 years ago
- ☆34Updated 6 months ago
- Sheaves library for graph abstractions based on NetworkX☆14Updated 6 years ago
- A fast generic C++ library for applied and computational topology☆61Updated 9 years ago
- Visual graph rewriting platform☆10Updated 8 months ago
- Rule-based modeling framework☆65Updated 8 months ago
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆39Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- Python code for the post "Computing Homology"☆29Updated 3 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆82Updated 2 weeks ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆32Updated last month
- YAP Development release☆17Updated 5 years ago
- Information geometry and its extension information topology☆11Updated 8 years ago
- deep learning for math☆29Updated 6 years ago
- ☆19Updated 2 months ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 13 years ago
- probabilistic logic programming language for statistical modeling☆38Updated last month
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- A curated list of geometric algebra resources☆136Updated last month
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- Python interface for SWI-Prolog☆49Updated last week