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:
- Parallel Environment for optimal Lambda Calculus Reduction☆30Updated this week
- Type-Level Regular Expressions matching with TypeScript☆23Apr 14, 2023Updated 3 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Абстрактный сетевой слой, основанный на Swift Concurrency☆10Aug 6, 2024Updated 2 years ago
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆15Mar 1, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Congruence Closure Procedure in Cubical Agda☆20Aug 19, 2020Updated 6 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- Personal WebAssembly learning project (build a SmallTalk like environment but with WASM)☆12Jan 24, 2025Updated last year
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 4 years ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- A library for non-deterministically parsing natural language expressions into a structured form.☆18May 28, 2026Updated 5 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
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 10 years ago
- A nix flake that provides various fonts that aren't in nixpkgs.☆18Jul 16, 2023Updated 3 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.
- Awesome WM dotfiles☆11Apr 15, 2014Updated 12 years ago
- Make your actions observable and listen events from them, algebraically.☆17Dec 4, 2024Updated last year
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated 2 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Swift Memoize Macro: Effortless function memoization in Swift 👾☆16Jun 25, 2024Updated 2 years ago
- Differential Equations Guide☆13Jan 9, 2022Updated 4 years ago
- ☆13Jun 30, 2023Updated 3 years ago
- Adding programming ligatures to my favorite DejaVu Sans Mono☆18Aug 29, 2016Updated 10 years ago
- Serial terminal as a PC BIOS extension☆17Nov 8, 2018Updated 7 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.
- ☆14Nov 5, 2015Updated 11 years ago
- Easily add auto-update functionality to your Flutter application☆15Dec 30, 2023Updated 2 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 10 years 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☆23Jul 14, 2022Updated 4 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 3 years ago
- ☆11Jul 25, 2018Updated 8 years ago
- Arthur's Formal Metatheory in Coq☆23Feb 6, 2026Updated 9 months ago
- Automatically add and delete imports in a Haskell module.☆17Sep 5, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A custom 8-bit computer and software suite☆24Oct 10, 2021Updated 5 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- ☆10Jun 30, 2025Updated 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 terminal-renderer☆12Jun 8, 2025Updated last year
- Kotlin Multiplatform State Management and Navigation Library for Compose☆17Apr 7, 2024Updated 2 years ago
- A toolkit for writing software in dart. Effect-system, dependency management and more!☆25Aug 12, 2024Updated 2 years ago