Alternatives and similar repositories for scikit-sequitur

Users that are interested in scikit-sequitur are comparing it to the libraries listed below

• jespb / Python-M3GP
  An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…
  ☆10Updated 2 weeks ago
• nunolourenco / sge3
  Implementation of SGE Algorithm in Python 3
  ☆21Updated last year
• nunolourenco / dsge
  Dynamic Structured Grammatical Evolution
  ☆13Updated 5 years ago
• caterinaurban / Lyra
  ☆31Updated 3 months ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆90Updated last week
• senkuuuuu / Amadeus
  A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…
  ☆21Updated 4 months ago
• msreis / featsel
  An open-source framework for benchmarking of feature selection algorithms and cost functions.
  ☆10Updated 5 years ago
• jordiae / neural-compilers
  ☆21Updated 3 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆78Updated 6 months ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated last month
• pytorch / expecttest
  ☆85Updated 6 months ago
• dafny-lang / Dafny-VMC
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆17Updated last year
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆80Updated 6 months ago
• Marghrid / FOREST
  Regular expression for form validations synthesizer
  ☆15Updated 8 months ago
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆13Updated 6 months ago
• sarusso / Timeseria
  An object-oriented time series processing library
  ☆23Updated 3 weeks ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆56Updated 3 months ago
• koehlma / rigorous
  A framework for working with inference rules.
  ☆10Updated 4 years ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆49Updated last week
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆39Updated 2 years ago
• mahf-opt / mahf
  A framework for modular construction and evaluation of metaheuristics.
  ☆13Updated last week
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated last month
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• giorgia-nadizar / cgpax
  Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX
  ☆11Updated last month
• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆32Updated 3 years ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆37Updated this week
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆41Updated 5 months ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆76Updated last month