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
• squisher / stella
  DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution
  ☆11Updated 10 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• Chronosymbolic / Chronosymbolic-Learning
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆11Updated last year
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 4 years ago
• tianyi-zhang / interactive-program-synthesis
  ☆12Updated 4 years ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago
• Ohjeah / cartesian
  a lightweight implementation of Cartesian genetic programming with symbolic regression in mind.
  ☆24Updated 6 years ago
• nikivanstein / BIAS
  ☆13Updated 5 months ago
• declanoller / neat
  Playing OpenAI games with Neuroevolution
  ☆11Updated 6 years ago
• fujaba / SDMLib
  ☆17Updated 5 years ago
• flexgp / efs
  Evolutionary feature synthesis
  ☆17Updated 10 years ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆50Updated 2 weeks ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 4 years ago
• lacava / ellen
  linear genetic programming system for symbolic regression and classification.
  ☆35Updated 8 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• flexgp / flexgp
  FlexGP: Flexible ML with Genetic Programming
  ☆19Updated 10 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• cavalab / ellyn
  python-wrapped version of ellen, a linear genetic programming system for symbolic regression and classification.
  ☆59Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆52Updated last month
• difflog-project / datalog-bench
  Benchmark Suite for Interpretable Rule Learning
  ☆12Updated 5 years ago
• utopia-group / sypet
  SyPet: Component-Based Synthesis for Complex APIs
  ☆20Updated 7 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆207Updated 4 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆119Updated 3 weeks ago
• ashkapsky / BigDatalog
  ☆58Updated 3 years ago
• laas / fape
  FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
  ☆31Updated 4 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago
• darioizzo / dcgp
  Implementation of a differentiable CGP (Cartesian Genetic Programming)
  ☆113Updated 3 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆55Updated 5 years ago