Alternatives and similar repositories for swim

Users that are interested in swim are comparing it to the libraries listed below

• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 3 years ago
• nikivanstein / BIAS
  ☆13Updated 3 weeks ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 3 years ago
• squisher / stella
  DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution
  ☆11Updated 9 years ago
• Ohjeah / cartesian
  a lightweight implementation of Cartesian genetic programming with symbolic regression in mind.
  ☆24Updated 5 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆61Updated last month
• difflog-project / datalog-bench
  Benchmark Suite for Interpretable Rule Learning
  ☆12Updated 5 years ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆19Updated 2 years ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆49Updated last week
• d9w / CartesianGeneticProgramming.jl
  Cartesian Genetic Programming for Julia
  ☆69Updated 3 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• brianwgoldman / Analysis-of-CGPs-Mechanisms
  Implementation, configuration files, and parsing scripts for the Analysis of Cartesian Genetic Programming’s Evolutionary Mechanisms publ…
  ☆19Updated 10 years ago
• idaks / PW-explorer
  ☆16Updated 4 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆83Updated last month
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• fujaba / SDMLib
  ☆17Updated 4 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆204Updated 3 years ago
• unitn-sml / pyconstruct
  Python library for declarative, constrained, structured-output prediction.
  ☆21Updated last year
• lacava / ellen
  linear genetic programming system for symbolic regression and classification.
  ☆35Updated 8 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆27Updated last year
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆23Updated last year
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 5 months ago
• utopia-group / sypet
  SyPet: Component-Based Synthesis for Complex APIs
  ☆20Updated 7 years ago
• declanoller / neat
  Playing OpenAI games with Neuroevolution
  ☆11Updated 5 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆70Updated 2 years ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago