JedS6391 / LGPLinks
A robust Linear Genetic Programming implementation on the JVM using Kotlin.
☆18Updated 3 years ago
Alternatives and similar repositories for LGP
Users that are interested in LGP are comparing it to the libraries listed below
Sorting:
- Port of SwiftyKanren to Kotlin☆17Updated 4 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- Synthesis with Metaheuristics - Genetic Programming in Scala☆15Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Java implementation of the Push programming language, a stack based language designed for genetic programming.☆25Updated 13 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Java dialect using S-expressions☆31Updated 6 years ago
- ☆71Updated 5 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Probabilistic miniKanren☆62Updated 9 years ago
- The Omni Programming Language☆34Updated 7 years ago
- Lua/Terra + Java Native Interface☆21Updated 8 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- ☆34Updated 4 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated this week
- Sequitur and RePair grammar induction algorithms implementation☆26Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- Logic for story telling!☆34Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Grape - Graph Rewriting and Persistence Engine☆31Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Collapsing Towers of Interpreters☆91Updated last week