Awesome Agda Programming
☆19Sep 22, 2025Updated last year
Alternatives and similar repositories for awesome-agda-programming
Users that are interested in awesome-agda-programming are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆32May 27, 2018Updated 8 years ago
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- ☆23Jul 1, 2024Updated 2 years ago
- Benchmarking tool for compile-time performance of Agda programs☆20Jan 26, 2022Updated 4 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- AACMM's generic-syntax, but with QTT-style annotations☆22Apr 7, 2024Updated 2 years ago
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago
- A table library for Idris 2☆16Oct 25, 2022Updated 4 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆56May 28, 2020Updated 6 years ago
- An interface for GHC type-checking plugins☆22Sep 1, 2026Updated last month
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- wherein I implement several substructural logics in Agda☆24Oct 8, 2018Updated 8 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆13Sep 21, 2021Updated 5 years ago
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years 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.
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 6 years ago
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 5 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 8 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- (Finite) multisets in Cubical Agda☆11Apr 22, 2026Updated 6 months ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- The Iowa Agda Library☆56Aug 29, 2026Updated 2 months ago
- Simple autograder for Haskell programming assignments☆18Feb 18, 2025Updated last year
- 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.
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆75May 10, 2019Updated 7 years ago
- Higher Algebra with Opetopic Types☆17Mar 30, 2023Updated 3 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 7 years ago
- Total Parser Combinators in Agda☆138Updated this week
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆108May 25, 2022Updated 4 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 5 years ago
- Mtac in Agda☆29May 4, 2021Updated 5 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.
- Compiler backend for generating Scheme code☆30Nov 27, 2025Updated 11 months ago
- Simple conversion from Agda text to literate Agda text.☆15Sep 21, 2026Updated last month
- ☆21Mar 21, 2022Updated 4 years ago
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 8 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- ☆15Jul 11, 2025Updated last year
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 6 years ago