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:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 4 years ago
- ☆10Sep 7, 2022Updated 4 years ago
- Factor Graph Grammars in Python☆14Jan 17, 2026Updated 9 months ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆19Jul 30, 2020Updated 6 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.
- ☆14Feb 1, 2024Updated 2 years ago
- ☆14Sep 9, 2026Updated last month
- A property-based testing library for Racket.☆34Apr 26, 2024Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆39Sep 22, 2018Updated 8 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- ☆17Nov 11, 2021Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Feb 2, 2026Updated 9 months ago
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 3 years ago
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A deterministic parser with fused lexing☆79Jul 1, 2023Updated 3 years ago
- Transductive regular expressions☆258Sep 4, 2026Updated 2 months ago
- 🎩 Define page content and behavior in CSS. (???)☆16Sep 6, 2020Updated 6 years ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated 2 years ago
- whitespace-aware Clojure source code manipulation.☆18Sep 26, 2017Updated 9 years ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Oct 30, 2023Updated 3 years ago
- A Catlab-compatible implementation of acsets in python.☆12Jan 22, 2024Updated 2 years 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.☆11Jul 1, 2025Updated last year
- Datalog implemented in minikanren☆25Sep 14, 2017Updated 9 years ago
- 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.
- Constexpr hash map, generates a constant KV hash map at compile time.☆18Apr 23, 2016Updated 10 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- SolidWorks python macro☆11Jan 27, 2018Updated 8 years ago
- Sigmoid Colon: The biologically inspired activation function.☆25Mar 10, 2023Updated 3 years ago
- Python type hints are Turing complete.☆33Nov 24, 2022Updated 3 years ago
- Challenging SAT benchmarks for matrix multiplication☆13Oct 28, 2021Updated 5 years ago
- A library and CLI tools for managing Samba servers in containers.☆14Updated this week
- ☆21Sep 28, 2018Updated 8 years ago
- A bidirectional type checker☆67Jun 19, 2017Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A template for you to implement Hazelnut yourself☆24Apr 24, 2026Updated 6 months ago
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Updated this week
- Documentation about the Tympan☆14Jun 14, 2022Updated 4 years ago
- Benchmark structured generation libraries☆31Oct 25, 2024Updated 2 years ago
- PropForthV5.5 is Forth progamming environment for Parallax Propeller P8X32A microcontroller created by Sal Sanci☆12Aug 14, 2016Updated 10 years ago
- An experiment in using DuckDB for a datalog / egg☆26Oct 11, 2023Updated 3 years ago
- Paper and talk☆56Jul 11, 2023Updated 3 years ago