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
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆45Updated this week
• plai-group / daphne
  Multi-pass compiler and runtime for probabilistic programming.
  ☆43Updated 2 months ago
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆11Updated 2 weeks ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆20Updated this week
• lspector / propeller
  Yet another Push-based genetic programming system in Clojure
  ☆30Updated 11 months ago
• kovach / etch
  ☆17Updated 11 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆17Updated 2 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated 6 months ago
• erp12 / pyshgp
  Push Genetic Programming in Python.
  ☆75Updated last year
• giorgia-nadizar / cgpax
  Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX
  ☆10Updated last month
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 6 months ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated last month
• Sophia-Gold / madhava
  automatic differentiation/integration of PDEs
  ☆24Updated 7 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 11 months ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆36Updated 3 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 7 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆78Updated this week
• folivetti / pandoc-symreg
  pandoc-like tool for symbolic regression expressions
  ☆13Updated last year
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• k-tsushima / Shin-Barliman
  Research project: Program synthesis using updated interface, template and types.
  ☆14Updated 4 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• d9w / Cambrian.jl
  An Evolutionary Computation framework
  ☆17Updated 3 years ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆16Updated 10 months ago
• locusmath / locus
  A specialised computer algebra system for topos theory.
  ☆18Updated 11 months ago