Alternatives and similar repositories for psb2-python

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

• thelmuth / program-synthesis-benchmark-datasets
  Repository of datasets for the General Program Synthesis Benchmark Suite
  ☆13Updated 3 years ago
• SynthesisLab / DeepSynth
  General purpose program synthetiser with existing Programming By Examples (PBE) pipeline
  ☆21Updated 2 weeks ago
• ilaspltd / ILASP-releases
  ☆39Updated last year
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆50Updated last week
• asolarlez / sketch-frontend
  ☆39Updated 9 months ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆390Updated 3 months ago
• kach / memo
  A probabilistic programming language for metacognitive modeling
  ☆133Updated this week
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆26Updated 5 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆86Updated 10 months ago
• gintool / gin
  GI in No Time - a Simple Microframework for Genetic Improvement
  ☆49Updated last week
• asolarlez / sketch-backend
  ☆46Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆258Updated 3 months ago
• erp12 / pyshgp
  Push Genetic Programming in Python.
  ☆80Updated 2 years ago
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆50Updated last year
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆290Updated 6 years ago
• alife-data-standards / alife-data-standards
  Repository to host data standards for the ALIFE community.
  ☆16Updated 2 years ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆39Updated 2 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆83Updated 4 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆206Updated 4 years ago
• spike-imperial / FastLAS
  ☆20Updated 4 months ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆20Updated 3 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 2 months ago
• alejandromolinaml / MSPN
  Mixed Sum-Product Networks: A Deep Architecture for Hybrid Domains
  ☆16Updated 7 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• iscas-tis / ePMC
  EPMC: An Extendible Probabilistic Model Checker
  ☆19Updated last year
• jtcbrule / whittemore
  Causal programming in Clojure
  ☆26Updated 4 years ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆28Updated last week
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆290Updated last year
• piantado / Fleet
  ☆63Updated last week