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…☆20Updated 3 months ago
- ☆21Updated 3 years ago
- Implementation of SGE Algorithm in Python 3☆21Updated last year
- Repositorio general para Bootcamps de Data Science en Coding Dojo☆11Updated 3 weeks ago
- Evolutionary decision trees☆11Updated 4 months ago
- ☆10Updated 3 years ago
- An open-source framework for benchmarking of feature selection algorithms and cost functions.☆10Updated 5 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- A python library to manipulate formal languages and various automata☆55Updated last month
- ☆17Updated 6 months ago
- Regular expression for form validations synthesizer☆15Updated 6 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆74Updated 4 months ago
- ChatGPT plugin for theorem proving in Lean☆124Updated last year
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- The PERPL Compiler☆13Updated 2 weeks ago
- Aeon programming language☆23Updated this week
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last month
- Python bindings for the egglog rust library☆91Updated this week
- A framework for modular construction and evaluation of metaheuristics.☆13Updated 5 months ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆48Updated this week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆33Updated last week
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- ☆18Updated 3 years ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Updated last week
- Code for enumeration from a CFG☆20Updated 2 years ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆112Updated 4 months ago
- Repository to host the GRAPE code developed by the BDS group☆13Updated 5 months ago
- ☆13Updated 4 months ago
- A program for making zooming slides in figma.☆39Updated 4 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Updated 11 months ago