grantjenks / scikit-sequiturLinks
SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.
☆10Updated 4 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…☆11Updated 2 months ago
- An open-source framework for benchmarking of feature selection algorithms and cost functions.☆10Updated 5 years ago
- ☆31Updated 5 months ago
- Regular expression for form validations synthesizer☆15Updated 9 months ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Updated 6 months ago
- Implementation of SGE Algorithm in Python 3☆21Updated last week
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Updated last year
- ☆17Updated 9 months ago
- Tool for the automatic orchestration of experiments targeting software systems☆17Updated this week
- Aeon programming language☆25Updated last week
- Repository to host the GRAPE code developed by the BDS group☆13Updated 8 months ago
- ☆86Updated 8 months ago
- ☆20Updated 2 years ago
- Python client for coq-lsp☆47Updated 2 months ago
- Dynamic Structured Grammatical Evolution☆13Updated 5 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Updated last year
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆80Updated 8 months ago
- `dslinter` is a pylint plugin for linting data science and machine learning code. We plan to support the following Python libraries: Tens…☆24Updated 3 years ago
- A SyGuS Solver☆29Updated 8 months ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- A python library to manipulate formal languages and various automata☆58Updated 5 months ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- Pedagogical first-order prover in Python☆80Updated 8 months ago
- Very controlled natural language tactics for Lean☆66Updated 2 years ago
- An object-oriented time series processing library☆24Updated last month
- ☆26Updated 3 years ago
- A tool for deductive verification of Python programs based on Dafny☆28Updated 4 years ago
- ☆16Updated 2 years ago