Alternatives and similar repositories for cbgp-lite

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

• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆49Updated last week
• thelmuth / psb2-python
  ☆11Updated last year
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆25Updated 3 weeks ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• Sophia-Gold / madhava
  automatic differentiation/integration of PDEs
  ☆24Updated 7 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated 2 months ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 2 months ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 9 months ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆17Updated last year
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆12Updated 3 months ago
• riswords / quiche
  ☆23Updated 2 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• thelmuth / program-synthesis-benchmark-datasets
  Repository of datasets for the General Program Synthesis Benchmark Suite
  ☆13Updated 2 years ago
• folivetti / pandoc-symreg
  pandoc-like tool for symbolic regression expressions
  ☆14Updated last year
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆18Updated 2 months ago
• probprog / anglican
  Probabilistic Programming System Anglican
  ☆143Updated last year
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Updated 6 months ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 5 months ago
• plai-group / daphne
  Multi-pass compiler and runtime for probabilistic programming.
  ☆43Updated 5 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• jtcbrule / whittemore
  Causal programming in Clojure
  ☆26Updated 4 years ago
• senkuuuuu / Amadeus
  A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…
  ☆18Updated last month
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆64Updated 10 years ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆16Updated last year
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆96Updated 2 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago