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:
- Type-Level Regular Expressions matching with TypeScript☆23Apr 14, 2023Updated 3 years ago
- Congruence Closure Procedure in Cubical Agda☆20Aug 19, 2020Updated 5 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 weeks ago
- Абстрактный сетевой слой, основанный на Swift Concurrency☆10Aug 6, 2024Updated last year
- 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.
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- C# Code Compiler | Code Analysis and Code Compiler for Eval-Expression.NET and Eval-SQL.NET☆12Mar 20, 2024Updated 2 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18May 28, 2026Updated 2 months ago
- Personal WebAssembly learning project (build a SmallTalk like environment but with WASM)☆11Jan 24, 2025Updated last year
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 6 months ago
- A nix flake that provides various fonts that aren't in nixpkgs.☆18Jul 16, 2023Updated 3 years ago
- ☆29Dec 21, 2016Updated 9 years ago
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 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.
- MIDI song editor in a web page + soundfont player... and 100500 other misc web apps on my server☆10Nov 19, 2025Updated 8 months 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
- Easily add auto-update functionality to your Flutter application☆15Dec 30, 2023Updated 2 years ago
- rugu's personal dotfiles☆14May 10, 2026Updated 2 months ago
- Differential Equations Guide☆14Jan 9, 2022Updated 4 years ago
- ScalaPB generator for PGV☆15Nov 24, 2025Updated 8 months ago
- Offerings Huntsman - API for Bilkent Offerings☆12Oct 10, 2019Updated 6 years ago
- ☆11Feb 20, 2020Updated 6 years ago
- Yoneda lemma in every known language☆19Apr 2, 2026Updated 3 months 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.
- Adding programming ligatures to my favorite DejaVu Sans Mono☆18Aug 29, 2016Updated 9 years ago
- Keras implementation of cnn model with dlib for face recognition☆10Apr 2, 2019Updated 7 years ago
- This library works like Objective-C and Swift NSNotificationCenter. A notification dispatch mechanism that enables the broadcast of infor…☆11Nov 23, 2018Updated 7 years ago
- Web-service on cytoscape.js to layout graphs☆10May 13, 2021Updated 5 years ago
- Fuzzy logic module for Dart.☆23Jun 16, 2020Updated 6 years ago
- Parser Combinators for Dart☆23Apr 25, 2019Updated 7 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Hanfor helps analyzing and formalizing requirements.☆12Updated this week
- Swift Memoize Macro: Effortless function memoization in Swift 👾☆16Jun 25, 2024Updated 2 years 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.
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 10 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- Display lyrics from song played on Spotify☆10Nov 6, 2022Updated 3 years ago
- ☆13Jun 30, 2023Updated 3 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- Serial terminal as a PC BIOS extension☆17Nov 8, 2018Updated 7 years ago
- View your requests in JSON format☆10Jul 22, 2020Updated 6 years ago