Brzozowski derivative python sketch
☆87Apr 3, 2025Updated 11 months ago
Alternatives and similar repositories for brzozowski
Users that are interested in brzozowski are comparing it to the libraries listed below
Sorting:
- Finite state transducer library. Minimalistic pure C implementation.☆14Apr 23, 2020Updated 5 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- A deterministic parser with fused lexing☆75Jul 1, 2023Updated 2 years ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated last year
- The PERPL Compiler☆14Oct 17, 2025Updated 5 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
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Relational version of parsing with derivatives code☆43Feb 15, 2013Updated 13 years ago
- Datalog implemented in minikanren☆24Sep 14, 2017Updated 8 years ago
- Port of microKanren to JavaScript.☆25Feb 19, 2022Updated 4 years ago
- Topological sort library in Zig☆97Dec 13, 2025Updated 3 months ago
- 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 Haskell probabilistic programming library.☆21Feb 19, 2026Updated last month
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- A property-based testing library for Racket.☆34Apr 26, 2024Updated last year
- ☆10Mar 14, 2016Updated 10 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- ☆20Sep 28, 2018Updated 7 years ago
- Paper and talk☆55Jul 11, 2023Updated 2 years ago
- Transductive regular expressions☆254Sep 25, 2025Updated 5 months ago
- Documentation about the Tympan☆14Jun 14, 2022Updated 3 years ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- Beating the `bisect` module's implementation using C-extensions.☆32May 19, 2023Updated 2 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- PropForthV5.5 is Forth progamming environment for Parallax Propeller P8X32A microcontroller created by Sal Sanci☆11Aug 14, 2016Updated 9 years ago
- the inelegant parser☆13Dec 28, 2021Updated 4 years ago
- Simple LPC vocoder in Python☆13Jan 7, 2022Updated 4 years ago
- nathan/pax recovered from Rust cache and Google cache☆20Dec 6, 2020Updated 5 years ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 2 years ago
- Pure rust firmware for an rp2040 keyboard☆14Mar 31, 2025Updated 11 months ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 2 months ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- Oppinionated Rust Terminal Canvas Rendering Engine☆17Oct 23, 2025Updated 4 months ago