Alternatives and similar repositories for cbgp-lite:

Users that are interested in cbgp-lite are comparing it to the libraries listed below

• thelmuth / psb2-python
  ☆10Updated last year
• thelmuth / program-synthesis-benchmark-datasets
  Repository of datasets for the General Program Synthesis Benchmark Suite
  ☆12Updated 2 years ago
• plai-group / daphne
  Multi-pass compiler and runtime for probabilistic programming.
  ☆43Updated last month
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆10Updated 7 months ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆45Updated 2 weeks ago
• erp12 / pyshgp
  Push Genetic Programming in Python.
  ☆75Updated last year
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated last year
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 10 months ago
• folivetti / pandoc-symreg
  pandoc-like tool for symbolic regression expressions
  ☆12Updated last year
• giorgia-nadizar / cgpax
  Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX
  ☆10Updated 3 weeks ago
• barakeel / oeis-synthesis
  ☆23Updated last month
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆20Updated last week
• locusmath / locus
  A specialised computer algebra system for topos theory.
  ☆18Updated 10 months ago
• lspector / propeller
  Yet another Push-based genetic programming system in Clojure
  ☆30Updated 10 months ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• RomanKalkreuth / cgp-plusplus
  ☆13Updated last year
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• nunolourenco / sge3
  Implementation of SGE Algorithm in Python 3
  ☆19Updated last year
• namin / logically
  explorations in core.logic
  ☆118Updated 10 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated last month
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆74Updated this week
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 7 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• Sophia-Gold / madhava
  automatic differentiation/integration of PDEs
  ☆24Updated 6 years ago
• patham9 / NACE
  Non-Axiomatic Causal Explorer
  ☆19Updated this week
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated last week
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆123Updated 3 months ago