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
- Synthesis with Metaheuristics - Genetic Programming in Scala☆15Updated 5 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- ☆71Updated 4 years ago
- Java implementation of the Push programming language, a stack based language designed for genetic programming.☆25Updated 13 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆60Updated 10 months ago
- ☆23Updated 11 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- Python term rewriting☆29Updated 12 years ago
- Type checking and logical inference for JetBrains MPS☆33Updated last month
- A new logic programming language.☆175Updated last year
- Java dialect using S-expressions☆31Updated 6 years ago
- Fjord, F# programming language for the JVM.☆208Updated 10 years ago
- The Nomyx game☆84Updated last year
- Rosa, the real compiler☆20Updated 7 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Parser Combinator library for Kotlin☆27Updated 6 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- purple: compiling a reflective language☆32Updated 7 months ago
- ☆34Updated 4 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆27Updated 7 years ago
- Lua/Terra + Java Native Interface☆21Updated 8 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago