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
- Evolutionary decision trees☆11Updated 7 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
- ☆31Updated 5 months ago
- ☆21Updated 3 years ago
- ☆17Updated 9 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Updated last year
- Aeon programming language☆25Updated last week
- ☆86Updated 8 months ago
- Python bindings for the egglog rust library☆96Updated last week
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆80Updated 7 months ago
- A Rocq version of the miniF2F dataset☆22Updated 3 months ago
- Repositorio general para Bootcamps de Data Science en Coding Dojo☆11Updated 2 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆50Updated 3 weeks ago
- Tool for the automatic orchestration of experiments targeting software systems☆17Updated 3 weeks ago
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- The PERPL Compiler☆14Updated 3 months ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- Repository to host the GRAPE code developed by the BDS group☆13Updated 8 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- A framework for working with inference rules.☆10Updated 4 years ago
- ☆16Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Updated 4 months ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated 2 years ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆120Updated 8 months ago
- An object-oriented time series processing library☆24Updated last month
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆54Updated last year