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:
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆21Updated 5 months ago
- ☆10Updated 3 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆10Updated last month
- Tool for the automatic orchestration of experiments targeting software systems☆17Updated last month
- ☆17Updated 8 months ago
- ☆21Updated 3 years ago
- Python bindings for the egglog rust library☆94Updated this week
- Repository to host the GRAPE code developed by the BDS group☆13Updated 7 months ago
- Regular expression for form validations synthesizer☆15Updated 8 months ago
- A framework for working with inference rules.☆10Updated 4 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- Dynamic Structured Grammatical Evolution☆13Updated 5 years ago
- A Rocq version of the miniF2F dataset☆22Updated 2 months ago
- Python client for coq-lsp☆44Updated last month
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- A program for making zooming slides in figma.☆41Updated 6 months ago
- Cube-and-Conquer SAT solver☆42Updated 5 months ago
- Very controlled natural language tactics for Lean☆66Updated last year
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Updated last year
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆108Updated this week
- A fast and simple automata library☆31Updated this week
- An open-source course on constraint solving☆25Updated 2 months ago
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- Bonn Lean course for winter 24/25☆39Updated this week
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- Aeon programming language☆25Updated last month
- A python library to manipulate formal languages and various automata☆57Updated 4 months ago