erp12 / cbgp-liteLinks
Code Building Genetic Programming for a narrow subset of the Clojure language.
☆10Updated last year
Alternatives and similar repositories for cbgp-lite
Users that are interested in cbgp-lite are comparing it to the libraries listed below
Sorting:
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- software archaeology of reflective towers of interpreters☆16Updated 5 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆30Updated 3 weeks ago
- Multi-pass compiler and runtime for probabilistic programming.☆46Updated 3 weeks ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆12Updated last year
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- Code for enumeration from a CFG☆20Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Reversible programming in Agda☆12Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated last month
- miniKanren with a first-order representation of the search space☆17Updated last year
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆48Updated last week
- pandoc-like tool for symbolic regression expressions☆14Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Updated last year
- ☆16Updated last year
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- Interpreter for the reversible functional language rFun☆37Updated 7 years ago
- ☆18Updated 3 years ago
- automatic differentiation/integration of PDEs☆24Updated 7 years ago
- generative programming & verification☆34Updated 4 months ago
- ☆24Updated 2 years ago
- A Haskell probabilistic programming library.☆21Updated last week
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 14 years ago
- Arete is an experimental programming language.☆12Updated 2 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago