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
  ☆15Updated 8 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆25Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• dritchie / quicksand
  A low-level probabilistic programming framework embedded in Terra.
  ☆29Updated 8 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆14Updated 9 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆72Updated 3 months ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆24Updated 2 weeks ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 6 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated 2 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆146Updated 4 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• GrammarViz2 / grammarviz2_src
  GrammarViz 2.0 public release:
  ☆122Updated 3 years ago
• gilbo / baselang
  A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
  ☆11Updated 9 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated this week
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 3 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 4 years ago
• mndrix / prolog_library_ideas
  Random ideas about libraries for Prolog
  ☆12Updated 8 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆44Updated last year
• JanWielemaker / swi-erlang
  Yes, Erlang in SWI-Prolog!
  ☆11Updated 6 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆68Updated 7 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago