desi-ivanov / agda-regexp-automataView external linksLinks
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
Sorting:
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 3 years ago
- Updated SLIP/PPP via the venerable Slirp☆15Apr 20, 2025Updated 9 months ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 9 years ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Congruence Closure Procedure in Cubical Agda☆19Aug 19, 2020Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 2 years ago
- Serial terminal as a PC BIOS extension☆17Nov 8, 2018Updated 7 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Jan 23, 2026Updated 3 weeks ago
- ☆22Jan 19, 2023Updated 3 years ago
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated last year
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Jun 13, 2022Updated 3 years ago
- 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
- A new declarative programming language☆24Oct 12, 2020Updated 5 years ago
- Абстрактный сетевой слой, основанный на Swift Concurrency☆10Aug 6, 2024Updated last year
- Idris was an operating system developed by Whitesmiths☆32Nov 20, 2021Updated 4 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆28Dec 28, 2021Updated 4 years ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 2 weeks ago
- Python module to access the Fermilab Control System☆10Aug 19, 2025Updated 5 months ago
- A simple LZ77-based compression with fast decompression on 68K and other legacy hardware☆39May 9, 2016Updated 9 years ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated 3 weeks ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated 3 weeks ago
- Replica of MK-61 programmable calculator is based on a cycle-accurate model of legacy ICs running on a modern microcontroller.☆43Nov 24, 2023Updated 2 years ago
- ☆12Nov 22, 2024Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Dec 16, 2024Updated last year
- ☆10Jun 30, 2025Updated 7 months ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- The SunOS 4.1.3 source code.☆13May 14, 2023Updated 2 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- Time Integration Package☆11Dec 17, 2024Updated last year