Alternatives and similar repositories for swim

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

• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• flexgp / efs
  Evolutionary feature synthesis
  ☆17Updated 9 years ago
• flexgp / flexgp
  FlexGP: Flexible ML with Genetic Programming
  ☆19Updated 10 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆17Updated 3 years ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆60Updated 11 months ago
• lacava / ellen
  linear genetic programming system for symbolic regression and classification.
  ☆35Updated 8 years ago
• difflog-project / datalog-bench
  Benchmark Suite for Interpretable Rule Learning
  ☆12Updated 4 years ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆25Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• 51alg / TerpreT
  ☆43Updated 7 years ago
• cavalab / ellyn
  python-wrapped version of ellen, a linear genetic programming system for symbolic regression and classification.
  ☆55Updated 2 years ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 5 months ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆26Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆80Updated 11 months ago
• jnoessner / rockIt
  RockIt: A query engine for Markov logic
  ☆11Updated 9 years ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Updated 8 years ago
• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 9 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• chen0040 / java-genetic-programming
  Genetic-programming framework for various genetic programming paradigms such as linear genetic programming, tree genetic programming, gen…
  ☆10Updated 8 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆25Updated 2 years ago
• pulinagrawal / sparsey-csa
  Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…
  ☆12Updated 2 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 3 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆14Updated 9 years ago
• willieneis / ProBO
  ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language
  ☆15Updated 5 years 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 3 years ago