Alternatives and similar repositories for psb2-python

Users that are interested in psb2-python are comparing it to the libraries listed below

• erp12 / cbgp-lite
  Code Building Genetic Programming for a narrow subset of the Clojure language.
  ☆10Updated last year
• ilaspltd / ILASP-releases
  ☆37Updated 11 months ago
• SynthesisLab / DeepSynth2
  General purpose program synthetiser with existing Programming By Examples (PBE) pipeline
  ☆19Updated 2 months ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆49Updated this week
• asolarlez / sketch-frontend
  ☆38Updated 6 months ago
• alife-data-standards / alife-data-standards
  Repository to host data standards for the ALIFE community.
  ☆15Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆66Updated 7 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆82Updated last month
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated 2 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• UCLA-StarAI / GeLaTo
  ☆20Updated 2 years ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆27Updated this week
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 9 months ago
• kach / memo
  A domain-specific probabilistic programming language for reasoning about reasoning
  ☆113Updated last week
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆376Updated 3 weeks ago
• kerschke / flacco
  Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems
  ☆62Updated 2 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆48Updated 11 months ago
• asolarlez / sketch-backend
  ☆44Updated last year
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆286Updated 6 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 2 months ago
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆22Updated last year
• hyperdimensional-computing / torchhd
  Torchhd is a Python library for Hyperdimensional Computing and Vector Symbolic Architectures
  ☆330Updated 3 months ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆31Updated 4 months ago
• FlorentAvellaneda / EvalMaxSAT
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
  ☆22Updated last month
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆204Updated last month
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 7 months ago
• lio-wong / dreamcoder
  ☆73Updated 3 years ago
• ellisk42 / ec
  ☆535Updated 2 years ago