grantjenks / scikit-sequiturLinks
SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.
☆9Updated 3 years ago
Alternatives and similar repositories for scikit-sequitur
Users that are interested in scikit-sequitur are comparing it to the libraries listed below
Sorting:
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆9Updated 3 months ago
- ☆10Updated 2 years ago
- Evolutionary decision trees☆10Updated last month
- A framework for modular construction and evaluation of metaheuristics.☆13Updated last month
- Repository to host the GRAPE code developed by the BDS group☆11Updated last month
- Implementation of SGE Algorithm in Python 3☆20Updated last year
- ☆30Updated 11 months ago
- This repository contains supplementary code for the paper: Machine Learning, Linear Algebra and More: Is SQL All You Need?☆9Updated last year
- Tool for the automatic orchestration of experiments targeting software systems☆16Updated 2 months ago
- An object-oriented time series processing library☆20Updated 2 weeks ago
- `dslinter` is a pylint plugin for linting data science and machine learning code. We plan to support the following Python libraries: Tens…☆26Updated 3 years ago
- An open-source framework for benchmarking of feature selection algorithms and cost functions.☆10Updated 5 years ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- ☆12Updated 2 years ago
- ☆17Updated 2 months ago
- Regular expression for form validations synthesizer☆15Updated 3 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆15Updated 8 months ago
- Python S-expression emulation using tuple-like objects.☆22Updated 10 months ago
- Repositorio general para Bootcamps de Data Science en Coding Dojo☆10Updated last week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 2 years ago
- A Python Library for modeling combinatorial constrained problems☆68Updated last month
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 2 years ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆46Updated last week
- Verifying encodings into propositional logic in Lean☆12Updated last year
- A python library to manipulate formal languages and various automata☆51Updated 2 months ago
- Python bindings for the egg-smol rust library☆81Updated last week
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- ☆16Updated 2 years ago
- ☆21Updated this week
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 8 months ago