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
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆15Mar 1, 2024Updated 2 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated this week
- 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 10 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.
- A library for non-deterministically parsing natural language expressions into a structured form.☆18May 28, 2026Updated last month
- Абстрактный сетевой слой, основанный на Swift Concurrency☆10Aug 6, 2024Updated last year
- Personal WebAssembly learning project (build a SmallTalk like environment but with WASM)☆11Jan 24, 2025Updated last year
- ☆29Dec 21, 2016Updated 9 years ago
- A nix flake that provides various fonts that aren't in nixpkgs.☆18Jul 16, 2023Updated 2 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆31Sep 21, 2022Updated 3 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 6 months ago
- Keras implementation of cnn model with dlib for face recognition☆10Apr 2, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Yoneda lemma in every known language☆18Apr 2, 2026Updated 3 months ago
- An automated theorem prover for intuitionistic propostional logic☆15Sep 21, 2020Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 4 years ago
- Fuzzy logic module for Dart.☆23Jun 16, 2020Updated 6 years ago
- Parser Combinators for Dart☆23Apr 25, 2019Updated 7 years ago
- In-memory database of facts (records with attributes) with a predicative searching facility☆20Jul 2, 2026Updated last week
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated 2 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- ☆13Jun 30, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Experiments with higher-order abstract syntax in Agda☆23Jul 14, 2022Updated 3 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆51Jul 1, 2026Updated last week
- Homotopy type theory cheatsheets☆12Apr 15, 2026Updated 2 months ago
- A Python implementation of the Just Dance Game.☆21May 6, 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
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 10 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 3 years ago
- A load balanced threadpool.☆31Jun 14, 2022Updated 4 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆11Jul 25, 2018Updated 7 years ago
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated last year
- ☆14Nov 5, 2015Updated 10 years ago
- Arthur's Formal Metatheory in Coq☆21Feb 6, 2026Updated 5 months ago
- A custom 8-bit computer and software suite☆24Oct 10, 2021Updated 4 years ago
- Automatically add and delete imports in a Haskell module.☆17Feb 19, 2025Updated last year
- SKI combinators☆57May 27, 2017Updated 9 years ago