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
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:
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 4 years ago
- Congruence Closure Procedure in Cubical Agda☆19Aug 19, 2020Updated 5 years ago
- Type-Level Regular Expressions matching with TypeScript☆23Apr 14, 2023Updated 2 years ago
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆15Mar 1, 2024Updated 2 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Mar 6, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 9 years ago
- A nix flake that provides various fonts that aren't in nixpkgs.☆18Jul 16, 2023Updated 2 years ago
- Swift Memoize Macro: Effortless function memoization in Swift 👾☆14Jun 25, 2024Updated last year
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆29Sep 21, 2022Updated 3 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Adding programming ligatures to my favorite DejaVu Sans Mono☆18Aug 29, 2016Updated 9 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- Fuzzy logic module for Dart.☆23Jun 16, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 11 months ago
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- Experiments with higher-order abstract syntax in Agda☆22Jul 14, 2022Updated 3 years ago
- Haskell to brainfuck compiler☆31May 11, 2014Updated 11 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Mar 22, 2026Updated last week
- A WebExtension to close tabs to the right of the selected one.☆18Mar 17, 2023Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Jan 3, 2018Updated 8 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Verify naive = datafrog-opt, in rust/polonius☆15Jun 26, 2025Updated 9 months ago
- Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobal☆16Sep 17, 2025Updated 6 months ago
- A custom 8-bit computer and software suite☆24Oct 10, 2021Updated 4 years ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- Offline dictionary using data from wiktionary.☆17Nov 27, 2024Updated last year
- Source code for Let’s Build a Websocket Chat Project With Rust and Yew 0.19 Post☆21Feb 14, 2022Updated 4 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- A compiler from a subset of Rust to Brainfuck☆14Oct 2, 2024Updated last year
- A terminal-renderer☆11Jun 8, 2025Updated 9 months 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.
- ☆11Dec 27, 2021Updated 4 years ago
- Sorting Algorithms, written in Rust☆27Apr 27, 2015Updated 10 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Text-based 2048 in Python.☆23Jan 24, 2022Updated 4 years ago
- A list of the few things I don't like about rust☆13Mar 1, 2023Updated 3 years ago
- ☆10Jun 30, 2025Updated 9 months ago
- Official Github repository of BAM!☆17Sep 22, 2025Updated 6 months ago