A python library to manipulate formal languages and various automata
☆64Aug 7, 2026Updated 2 months ago
Alternatives and similar repositories for pyformlang
Users that are interested in pyformlang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆36Oct 21, 2026Updated last week
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆13Updated this week
- Pyrefine – python code checker based on Hoare logic☆11Sep 29, 2022Updated 4 years ago
- ☆14Feb 1, 2024Updated 2 years ago
- Benchmark structured generation libraries☆31Oct 25, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Sep 29, 2025Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆43Oct 26, 2022Updated 4 years ago
- Generate interleaved text and image content in a structured format you can directly pass to downstream APIs.☆29Oct 18, 2024Updated 2 years ago
- ☆16Sep 28, 2023Updated 3 years ago
- ☆32Nov 2, 2025Updated 11 months ago
- AoT is a system for automatically generating off-target test harness by using build information.☆39Dec 6, 2024Updated last year
- ☆23Sep 10, 2024Updated 2 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- Source code for the DEF CON 31 CTF Finals.☆14Nov 21, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆68Jan 26, 2026Updated 9 months ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- Papers sources, pictures, presentations, and other stuff☆23Sep 30, 2026Updated last month
- ☆11Apr 24, 2025Updated last year
- Julia package for loop invariant generation☆12Nov 17, 2020Updated 5 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Constrained Decoding of Diffusion LLMs with Context-Free Grammars.☆58Oct 20, 2026Updated last week
- Code for generating Quasimodo, a commonsense knowledge base.☆20Sep 14, 2021Updated 5 years ago
- Easy to use AJAX library for django. dajaxice mains goal is to trivialize the asynchronous communication within the django server side co…☆13Oct 15, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- Misconception-based tutor designed to help people learn Linear Temporal Logic.☆12Jul 28, 2026Updated 3 months ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Dec 18, 2017Updated 8 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆28May 25, 2024Updated 2 years ago
- A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.☆24Dec 25, 2025Updated 10 months ago
- A module that multiplexes interactions with lists of python objects.☆14Aug 24, 2022Updated 4 years ago
- Tool for STL specification validation☆21Sep 30, 2019Updated 7 years ago
- ☆13Apr 17, 2025Updated last year
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Jan 28, 2013Updated 13 years ago
- ☆59Mar 7, 2025Updated last year
- code coverage for coding agents☆24Mar 27, 2026Updated 7 months ago
- VATA Tree Automata Library☆35Feb 3, 2026Updated 8 months ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆37Feb 4, 2025Updated last year
- ☆12Feb 20, 2021Updated 5 years ago