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
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 10 months ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆25Updated this week
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 3 months ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆18Updated 3 months ago
• plai-group / daphne
  Multi-pass compiler and runtime for probabilistic programming.
  ☆44Updated 6 months ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• Sophia-Gold / madhava
  automatic differentiation/integration of PDEs
  ☆24Updated 7 years ago
• thelmuth / psb2-python
  ☆11Updated last year
• locusmath / locus
  A specialised computer algebra system for topos theory.
  ☆18Updated last year
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 6 months ago
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆44Updated 12 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆205Updated 4 years ago
• webyrd / will-writes-books
  ☆12Updated last year
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆16Updated 7 years ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 5 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆42Updated 2 weeks ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• ToposInstitute / poly
  ☆118Updated last year
• orchid-hybrid / microKanren-sagittarius
  microKanren sagittarius/larceny
  ☆11Updated 10 years ago