Alternatives and similar repositories for swim

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

• flexgp / efs
  Evolutionary feature synthesis
  ☆17Updated 9 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆17Updated 2 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 10 months ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• lacava / ellen
  linear genetic programming system for symbolic regression and classification.
  ☆35Updated 8 years ago
• cavalab / ellyn
  python-wrapped version of ellen, a linear genetic programming system for symbolic regression and classification.
  ☆55Updated 2 years ago
• 51alg / TerpreT
  ☆43Updated 7 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Updated 8 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• difflog-project / datalog-bench
  Benchmark Suite for Interpretable Rule Learning
  ☆12Updated 4 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 2 months ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆60Updated 10 months ago
• QuMuLab / dsharp
  ☆17Updated 2 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆26Updated last year
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆25Updated 2 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• edin-dal / structtensor
  ☆19Updated last week
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 4 months ago
• cfusting / fastgp
  Fast Genetic Programming
  ☆11Updated 5 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆72Updated 7 years ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆45Updated this week