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:
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Call Julia code from Prolog☆27Updated 2 years ago
- A fast generic C++ library for applied and computational topology☆60Updated 9 years ago
- Information geometry and its extension information topology☆10Updated 7 years ago
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆122Updated this week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- ☆31Updated this week
- Evolutionary Algorithms Library☆63Updated 5 years ago
- ☆32Updated last week
- Tutorial for the CHR system☆16Updated 4 years ago
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆38Updated 6 years ago
- SWI Prolog library to interface to the GPT API☆19Updated last year
- Sheaves library for graph abstractions based on NetworkX☆15Updated 6 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Awesome Geometric Algebra☆28Updated 5 years ago
- probabilistic logic programming language for statistical modeling☆33Updated 3 weeks ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Visual graph rewriting platform☆10Updated last month
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Rule-based modeling framework☆63Updated last month
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆78Updated this week
- ☆18Updated last week
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- CLP(BNR) module for SWI-Prolog☆44Updated 2 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week