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
Alternatives and similar repositories for agda-regexp-automata
Users that are interested in agda-regexp-automata are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type-Level Regular Expressions matching with TypeScript☆23Apr 14, 2023Updated 3 years ago
- Congruence Closure Procedure in Cubical Agda☆20Aug 19, 2020Updated 6 years ago
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆15Mar 1, 2024Updated 2 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆29Jul 5, 2026Updated 3 months ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18May 28, 2026Updated 4 months ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆32Sep 21, 2022Updated 4 years ago
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 4 years ago
- Yoneda lemma in every known language☆19Apr 2, 2026Updated 6 months ago
- Fuzzy logic module for Dart.☆23Jun 16, 2020Updated 6 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 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.
- View your requests in JSON format☆10Jul 22, 2020Updated 6 years ago
- Experiments with higher-order abstract syntax in Agda☆23Jul 14, 2022Updated 4 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- City of Philadelphia Vue Applications Standards and Components☆11Apr 18, 2024Updated 2 years ago
- Arthur's Formal Metatheory in Coq☆23Feb 6, 2026Updated 8 months ago
- A WebExtension to close tabs to the right of the selected one.☆18Mar 17, 2023Updated 3 years ago
- Swift5 ICS Parser, RFC5545 compliant. Nowadays maintained mostly by @superhuman☆11Jun 17, 2020Updated 6 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 10 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 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.
- A toolkit for writing software in dart. Effect-system, dependency management and more!☆25Aug 12, 2024Updated 2 years ago
- A custom 8-bit computer and software suite☆25Oct 10, 2021Updated 5 years ago
- ☆14Nov 5, 2015Updated 10 years ago
- Automatically add and delete imports in a Haskell module.☆17Sep 5, 2026Updated last month
- SKI combinators☆57May 27, 2017Updated 9 years ago
- ☆19Oct 11, 2026Updated last week
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- ☆10Jun 30, 2025Updated last year
- Haskell port of the Hashids library.☆24Dec 30, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Dec 27, 2021Updated 4 years ago
- Source code for Let’s Build a Websocket Chat Project With Rust and Yew 0.19 Post☆21Feb 14, 2022Updated 4 years ago
- Scrollable Index of all 43252003274489856000 Rubik's Cube states☆43Aug 11, 2026Updated 2 months ago
- A list of the few things I don't like about rust☆13Mar 1, 2023Updated 3 years ago
- In-memory database of facts (records with attributes) with a predicative searching facility☆20Updated this week
- A load balanced threadpool.☆31Jun 14, 2022Updated 4 years ago
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year