Agda as a collaborative multiplayer game
☆39Oct 16, 2024Updated last year
Alternatives and similar repositories for agdapad
Users that are interested in agdapad are comparing it to the libraries listed below
Sorting:
- An interactive Agda tutorial☆19Updated this week
- An agda2hs-compatible library for well-scoped syntax☆11Nov 6, 2025Updated 4 months ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆38Updated this week
- Research material of Erik Palmgren (1963–2019)☆21Apr 7, 2025Updated 11 months ago
- 🔙 Backward lists for OCaml☆22Nov 21, 2025Updated 3 months ago
- PL syntax macros.☆21Nov 30, 2025Updated 3 months ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18May 26, 2025Updated 9 months ago
- Low level Haskell bindings to the BearLibTerminal graphics library.☆21Jul 22, 2025Updated 7 months ago
- NeoVim plugin for interacting with Agda written in Lua☆19Jan 31, 2024Updated 2 years ago
- A text-based adventure game written in Java☆10Feb 7, 2018Updated 8 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆29Dec 20, 2024Updated last year
- agda-mode for neovim☆178Jan 22, 2026Updated last month
- Agda lecture notes for the Functional Programming course at TU Delft☆132Jul 17, 2025Updated 7 months ago
- agda-mode on VS Code☆185Feb 28, 2026Updated last week
- The Agda standard library☆651Updated this week
- Resources for the aspiring optician☆43Jun 3, 2020Updated 5 years ago
- A new Categories library for Agda☆399Jan 22, 2026Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆423Feb 28, 2026Updated last week
- Smash products, Wedge products, and other Pointed stuff☆35Apr 27, 2022Updated 3 years ago
- A non-interactive proof assistant using the Haskell type system☆38Apr 11, 2020Updated 5 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆133Aug 19, 2025Updated 6 months ago
- My personal site.☆10Feb 23, 2026Updated last week
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- Nightly custom Emacs builds for macOS Nix environments☆42Aug 22, 2023Updated 2 years ago
- 🐥 Gallery Viewer for Anime Girls Holding Programming Books☆12Updated this week
- A 3D printable tenting case for the Lily58 keyboard.☆10Jun 30, 2022Updated 3 years ago
- SIGPLAN website☆13Updated this week
- An automatic declarative ASCIInema recorder☆46Dec 3, 2025Updated 3 months ago
- VS Code extension that recommends using the Windows Subsystem for Linux (WSL) and the Remote WSL extension.☆11Updated this week
- Extending Microsoft Dynamics 365 Finance and Supply Chain Management Cookbook, Second Edition by Packt Publishing☆15Jan 18, 2023Updated 3 years ago
- ☆11Sep 12, 2020Updated 5 years ago
- 夜鹭页录(YeluYelu)，记录夜鹭奇妙拟态的图鉴网站☆18Jun 3, 2025Updated 9 months ago
- Generator for Notation Backing Track Videos from Lilypond Files☆10Oct 23, 2024Updated last year
- antifunext☆38Jun 27, 2024Updated last year
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆49Dec 22, 2025Updated 2 months ago
- The agda-unimath library☆287Updated this week
- A core language and API for dependently typed languages☆97Feb 19, 2025Updated last year
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45May 31, 2022Updated 3 years ago
- A formalized proof of a version of the initiality conjecture☆45Sep 10, 2020Updated 5 years ago