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
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• squisher / stella
  DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution
  ☆11Updated 9 years ago
• nikivanstein / BIAS
  ☆13Updated last month
• Ohjeah / cartesian
  a lightweight implementation of Cartesian genetic programming with symbolic regression in mind.
  ☆24Updated 5 years ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 3 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 10 months ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆26Updated 4 years ago
• difflog-project / datalog-bench
  Benchmark Suite for Interpretable Rule Learning
  ☆12Updated 5 years ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆237Updated last month
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆61Updated 2 months ago
• tianyi-zhang / interactive-program-synthesis
  ☆12Updated 3 years ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 10 months ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆27Updated last year
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• ashkapsky / BigDatalog
  ☆58Updated 2 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• lacava / ellen
  linear genetic programming system for symbolic regression and classification.
  ☆35Updated 8 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆205Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• RomanKalkreuth / cgp-plusplus
  ☆13Updated last year
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆19Updated 2 years ago
• alviano / wasp
  ☆22Updated 10 months ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated 2 years ago
• idaks / PW-explorer
  ☆16Updated 4 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆70Updated 2 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 11 months ago