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
- Serial terminal as a PC BIOS extension☆17Nov 8, 2018Updated 7 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Updated SLIP/PPP via the venerable Slirp☆15Apr 20, 2025Updated last year
- 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.
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 9 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Feb 3, 2023Updated 3 years ago
- Абстрактный сетевой слой, основанный на Swift Concurrency☆10Aug 6, 2024Updated last year
- Personal WebAssembly learning project (build a SmallTalk like environment but with WASM)☆11Jan 24, 2025Updated last year
- 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
- Easily add auto-update functionality to your Flutter application☆15Dec 30, 2023Updated 2 years ago
- Differential Equations Guide☆14Jan 9, 2022Updated 4 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 4 months 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.
- Keras implementation of cnn model with dlib for face recognition☆10Apr 2, 2019Updated 7 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.☆44Jun 14, 2022Updated 3 years ago
- Fuzzy logic module for Dart.☆23Jun 16, 2020Updated 5 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- In-memory database of facts (records with attributes) with a predicative searching facility☆19Updated this week
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 10 years ago
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated 2 years ago
- Experiments with higher-order abstract syntax in Agda☆22Jul 14, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Apr 26, 2026Updated last week
- Homotopy type theory cheatsheets☆12Apr 15, 2026Updated 3 weeks ago
- A Python implementation of the Just Dance Game.☆21May 6, 2023Updated 3 years ago
- A WebExtension to close tabs to the right of the selected one.☆18Mar 17, 2023Updated 3 years ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Jan 3, 2018Updated 8 years ago
- A load balanced threadpool.☆31Jun 14, 2022Updated 3 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- ☆11Jul 25, 2018Updated 7 years ago
- Verify naive = datafrog-opt, in rust/polonius☆15Jun 26, 2025Updated 10 months 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.
- Arthur's Formal Metatheory in Coq☆18Feb 6, 2026Updated 3 months ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 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
- Convert pyim dictionary to fcitx dictionary☆12Feb 12, 2022Updated 4 years ago
- A compiler from a subset of Rust to Brainfuck☆14Oct 2, 2024Updated last year
- A terminal-renderer☆11Jun 8, 2025Updated 11 months ago
- ☆11Dec 27, 2021Updated 4 years ago