c0stya / brzozowskiView external linksLinks
Brzozowski derivative python sketch
☆86Apr 3, 2025Updated 10 months ago
Alternatives and similar repositories for brzozowski
Users that are interested in brzozowski are comparing it to the libraries listed below
Sorting:
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated 11 months ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- The PERPL Compiler☆14Oct 17, 2025Updated 3 months ago
- Factor Graph Grammars in Python☆13Jan 17, 2026Updated 3 weeks ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Finite state transducer library. Minimalistic pure C implementation.☆14Apr 23, 2020Updated 5 years ago
- A little library of bit-based data structures.☆21Sep 7, 2025Updated 5 months ago
- Data analytics helpers for Ecto and PostgreSQL☆12Mar 20, 2018Updated 7 years ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last week
- Constexpr hash map, generates a constant KV hash map at compile time.☆18Apr 23, 2016Updated 9 years ago
- Towards a constexpr version of the C++ standard library☆18Jan 16, 2024Updated 2 years ago
- A deterministic parser with fused lexing☆75Jul 1, 2023Updated 2 years ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- Web service version of https://github.com/guykisel/inline-plz - lints your Pull Requests and comments inline on the diffs!☆16Feb 24, 2022Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆82Feb 10, 2023Updated 3 years ago
- Incremental Build Verification☆17Apr 21, 2024Updated last year
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- ☆22Aug 24, 2023Updated 2 years ago
- Formatters to nicely display colorful logging output on the console.☆19Aug 27, 2018Updated 7 years ago
- A helper to get EXPLAIN or EXPLAIN ANALYZE OUTPUT for django queryset.☆19Sep 2, 2016Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- A fast implementation of short strings of fixed size. Great for sorting and group-by operations☆25Sep 22, 2021Updated 4 years ago
- Relational version of parsing with derivatives code☆43Feb 15, 2013Updated 12 years ago
- A lightweight framework to enable hierarchical, heterogeneous dynamical systems co-integration. Batteries included!☆22Jan 19, 2026Updated 3 weeks ago
- Julia interface to APIs for various bio-related web services☆22Feb 9, 2023Updated 3 years ago
- Bindings to Google's Compact Language Detector 3 to JVM Based Languages☆21Jun 2, 2024Updated last year
- Paper and talk☆55Jul 11, 2023Updated 2 years ago
- ACSets: Algebraic databases as in-memory data structures☆27Updated this week
- A library for skolemising (or canonicalising) blank node labels in RDF graphs.☆19Jul 8, 2023Updated 2 years ago
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated last year
- Datalog implemented in minikanren☆24Sep 14, 2017Updated 8 years ago
- Relational Algebra, now with more algebra!☆55Sep 14, 2025Updated 4 months ago
- TypeScript's type system is Turing complete - let's abuse that!☆101Mar 14, 2024Updated last year
- Example of using WONNX on the web☆24May 11, 2023Updated 2 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆114Oct 28, 2019Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 11 years ago
- Beating the `bisect` module's implementation using C-extensions.☆32May 19, 2023Updated 2 years ago