Alternatives and similar repositories for cbgp-lite

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

• folivetti / pandoc-symreg
  pandoc-like tool for symbolic regression expressions
  ☆14Updated last year
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 8 months ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆21Updated 2 weeks ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆46Updated last week
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 2 months ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated last month
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• kovach / etch
  ☆17Updated last year
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• plai-group / daphne
  Multi-pass compiler and runtime for probabilistic programming.
  ☆43Updated 4 months ago
• locusmath / locus
  A specialised computer algebra system for topos theory.
  ☆18Updated last year
• zhangir-azerbayev / lean-chat
  ☆50Updated 3 years ago
• riswords / quiche
  ☆22Updated 2 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 5 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆17Updated last month
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 5 months ago
• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 5 years ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆14Updated 9 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated last year
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• dwrensha / lean4-maze
  maze game encoded in Lean 4 syntax
  ☆59Updated 2 weeks ago