Alternatives and similar repositories for GI

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

• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆16Updated 9 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 9 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆25Updated 3 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated last month
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆75Updated 3 weeks ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 7 months ago
• mndrix / prolog_library_ideas
  Random ideas about libraries for Prolog
  ☆12Updated 8 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆48Updated last year
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 4 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆60Updated 10 months ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• craignm / sequitur
  Automatically exported from code.google.com/p/sequitur
  ☆49Updated 10 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• celinehocquette / numsynth-aaai23
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆15Updated 2 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆22Updated 3 months ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated 3 weeks ago
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago