Alternatives and similar repositories for GeneticEngine

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

• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆13Updated 7 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆258Updated 3 months ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆28Updated 6 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated last year
• nunolourenco / sge3
  Implementation of SGE Algorithm in Python 3
  ☆21Updated last year
• darioizzo / dcgp
  Implementation of a differentiable CGP (Cartesian Genetic Programming)
  ☆113Updated 3 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 5 months ago
• RomanKalkreuth / cgp-plusplus
  ☆13Updated last year
• jespb / Python-M3GP
  An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…
  ☆11Updated last month
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆86Updated 10 months ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 3 years ago
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆50Updated last year
• PonyGE / PonyGE2
  PonyGE2: grammatical evolution and variants in Python
  ☆173Updated 6 months ago
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆62Updated last month
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆19Updated 3 years ago
• ilaspltd / ILASP-releases
  ☆39Updated last year
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆77Updated 2 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 2 months ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆68Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago
• cavalab / ellyn
  python-wrapped version of ellen, a linear genetic programming system for symbolic regression and classification.
  ☆58Updated 3 years ago
• giorgia-nadizar / cgpax
  Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX
  ☆11Updated 2 months ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆66Updated 2 years ago
• heal-research / operon
  C++ Large Scale Genetic Programming
  ☆193Updated last month
• cavalab / srbench
  A living benchmark framework for symbolic regression
  ☆292Updated 2 months ago
• moshesipper / tiny_gp
  Tiny Genetic Programming in Python.
  ☆106Updated 2 years ago