Brzozowski derivative python sketch
☆86Apr 3, 2025Updated last year
Alternatives and similar repositories for brzozowski
Users that are interested in brzozowski are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Finite state transducer library. Minimalistic pure C implementation.☆15Apr 23, 2020Updated 6 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- Factor Graph Grammars in Python☆13Jan 17, 2026Updated 5 months ago
- ☆14Feb 1, 2024Updated 2 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- The PERPL Compiler☆15Oct 17, 2025Updated 8 months ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Towards a constexpr version of the C++ standard library☆18Jan 16, 2024Updated 2 years ago
- A little library of bit-based data structures.☆22Jun 6, 2026Updated 3 weeks ago
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 4 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 5 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Oct 23, 2012Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Relational version of parsing with derivatives code☆43Feb 15, 2013Updated 13 years ago
- Constexpr hash map, generates a constant KV hash map at compile time.☆18Apr 23, 2016Updated 10 years ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Oct 30, 2023Updated 2 years ago
- Experimental data compressor for 8-bit computers and low-end platforms☆15Aug 8, 2023Updated 2 years ago
- A template for you to implement Hazelnut yourself☆22Apr 24, 2026Updated 2 months ago
- Port of microKanren to JavaScript.☆25Feb 19, 2022Updated 4 years ago
- Topological sort library in Zig☆99Dec 13, 2025Updated 6 months ago
- A Python package designed to once and for all collect all the little things that come up over and over again in AI projects.☆12Jul 1, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated 2 years ago
- Multiplication on optimal λ-calculus reducers☆23Aug 14, 2020Updated 5 years ago
- A bidirectional type checker☆67Jun 19, 2017Updated 9 years ago
- A Haskell probabilistic programming library.☆21May 28, 2026Updated last month
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Extreme inline text compression for HTML / JS. A custom pipeline that generates stand-alone HTML or JS files which embed competitively co…☆18Jan 12, 2025Updated last year
- Paper and talk☆55Jul 11, 2023Updated 2 years ago
- A backup suite. Supports FLZMA2, bzip3, LZ4, Zstandard, LSH i-node ordering deduplicating archiver, long range deduplication, encryption …☆19Aug 5, 2025Updated 11 months ago
- Transductive regular expressions☆257Sep 25, 2025Updated 9 months 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.
- Documentation about the Tympan☆14Jun 14, 2022Updated 4 years ago
- Proxy that compresses images to low-resolution. Fork and Refactored version.☆14Aug 24, 2021Updated 4 years ago
- Beating the `bisect` module's implementation using C-extensions.☆32May 19, 2023Updated 3 years ago
- [Proof of Concept] Embedded functional scripting language with YAML ¯\_(ツ)_/¯☆14Dec 8, 2021Updated 4 years ago
- Rotth is a stack based concatenative language highly inspired by Porth☆16Apr 3, 2024Updated 2 years ago
- CS6868: Concurrent Programming☆87May 18, 2026Updated last month
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago