A python library to manipulate formal languages and various automata
☆59Sep 4, 2025Updated 6 months ago
Alternatives and similar repositories for pyformlang
Users that are interested in pyformlang are comparing it to the libraries listed below
Sorting:
- ☆14Feb 1, 2024Updated 2 years ago
- Benchmark structured generation libraries☆31Oct 25, 2024Updated last year
- Generate interleaved text and image content in a structured format you can directly pass to downstream APIs.☆29Oct 18, 2024Updated last year
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 4 months ago
- ☆12Sep 29, 2025Updated 5 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- Context free grammar to pushdown automaton convertor, along with string parser - Theory of Languages and Machines project, spring 2020☆13Jan 18, 2022Updated 4 years ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆31Nov 17, 2025Updated 3 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 3 years ago
- Structured Generation Evals☆14Sep 25, 2024Updated last year
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆82Jun 11, 2025Updated 8 months ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- ☆18Aug 19, 2024Updated last year
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆19Mar 21, 2024Updated last year
- ☆17Apr 21, 2025Updated 10 months ago
- Finds linguistic patterns effortlessly☆39Aug 29, 2023Updated 2 years ago
- ☆35Jun 21, 2020Updated 5 years ago
- The collection of Context-Free Path Querying algorithms☆14Dec 16, 2025Updated 2 months ago
- JaTyC: a typestate checker for Java☆19Sep 3, 2025Updated 6 months ago
- Audio-visual diarization pipeline used for creating VoxConverse dataset☆21Jun 6, 2025Updated 9 months ago
- Tool for STL specification validation☆20Sep 30, 2019Updated 6 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- ☆21Jul 11, 2022Updated 3 years ago
- u-MPS implementation and experimentation code used in the paper Tensor Networks for Probabilistic Sequence Modeling (https://arxiv.org/ab…☆19Jul 2, 2020Updated 5 years ago
- Code for running the transformers in the ICML 2021 paper "Thinking Like Transformers"☆18Jun 28, 2021Updated 4 years ago
- ☆49Mar 7, 2025Updated 11 months ago
- ☆19Jun 1, 2021Updated 4 years ago
- KFLAT is a tool to serialize memory of selected variables from the running Linux kernel and organize it into a single memory block of con…☆30Jan 20, 2026Updated last month
- ☆23Feb 14, 2023Updated 3 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- Papers sources, pictures, presentations, and other stuff☆24Feb 11, 2026Updated 3 weeks ago
- ☆21May 11, 2025Updated 9 months ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- fiwGAN/ciwGAN (Featural and Categorical InfoWaveGAN): Generative Adversarial Phonology and Semantics☆26May 24, 2023Updated 2 years ago
- LLM sampling method for enforcing syntax adherence in generated output☆25May 31, 2023Updated 2 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26May 25, 2024Updated last year