jMotif / GILinks
Sequitur and RePair grammar induction algorithms implementation
☆26Updated last year
Alternatives and similar repositories for GI
Users that are interested in GI are comparing it to the libraries listed below
Sorting:
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆76Updated last month
- Python term rewriting☆29Updated 12 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 4 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last month
- Port of Aleph to SWI-Prolog☆48Updated last year
- VATA Tree Automata Library☆32Updated 10 months ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆17Updated last week
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 8 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆24Updated 9 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆27Updated 7 years ago
- Random ideas about libraries for Prolog☆12Updated 8 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 9 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago