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
  ☆75Updated 7 years ago
• haldai / Jurassic.pl
  Call Julia code from Prolog
  ☆27Updated 2 years ago
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆19Updated last year
• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆120Updated 3 weeks ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• sys-bio / antimony
  ☆18Updated last week
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• Luthey-Schulten-Lab / Lattice_Microbes
  ☆31Updated 3 years ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 6 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆27Updated last year
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆75Updated 3 weeks ago
• dbtsai / libDAI
  A free and open source C++ library for Discrete Approximate Inference in graphical models
  ☆56Updated 13 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• webyrd / relational-interpreter-book-and-course
  Book and code and pointers to videos for my relational interpreter course
  ☆12Updated 4 months ago
• AllanSCosta / semantic-protein-folding
  Experiments in protein folding through language modeling
  ☆10Updated 3 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• jakobandersen / mod
  ☆33Updated 3 weeks ago
• RuleWorld / bionetgen
  Rule-based modeling framework
  ☆64Updated last week
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated last year
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆48Updated last year
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated last month