Alternatives and similar repositories for GGL

Users that are interested in GGL are comparing it to the libraries listed below

• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆123Updated last week
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆78Updated last month
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆38Updated 6 years ago
• dnbaker / frp
  FRP: Fast Random Projections
  ☆43Updated 5 years ago
• RuleWorld / bionetgen
  Rule-based modeling framework
  ☆64Updated 3 months ago
• appliedtopology / ctl
  A fast generic C++ library for applied and computational topology
  ☆60Updated 9 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• graph-algorithms / edge-addition-planarity-suite
  ☆32Updated this week
• dknoester / ealib
  Evolutionary Algorithms Library
  ☆63Updated 5 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 2 months ago
• prismplp / prism
  probabilistic logic programming language for statistical modeling
  ☆35Updated 2 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆204Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆19Updated last year
• Mortimerp9 / Prolog-Graphplan
  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…
  ☆38Updated 10 years ago
• klavinslab / gro
  The gro bacterial micro-colony growth specification and simulation software. For more information see the gro website, listed below.
  ☆52Updated 4 years ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆17Updated 3 years ago
• Luthey-Schulten-Lab / Lattice_Microbes
  ☆32Updated last month
• vscosta / yap-6.3
  YAP Development release
  ☆15Updated 4 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• leihuang / infotopo0
  Information geometry and its extension information topology
  ☆10Updated 7 years ago
• ajhager / copycat
  A translation of Melanie Mitchell's original Copycat project from Lisp to Python.
  ☆44Updated 8 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 3 weeks ago