Basics of the dependently-typed functional language Agda ^_^
☆42Jan 6, 2022Updated 4 years ago
Alternatives and similar repositories for AgdaCheatSheet
Users that are interested in AgdaCheatSheet are comparing it to the libraries listed below
Sorting:
- being a collection of Agda-facilitated ramblings☆33May 20, 2020Updated 5 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 5 years ago
- ☆32May 27, 2018Updated 7 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- The theory of algebraic graphs formalised in Agda☆91Jul 15, 2018Updated 7 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆232Dec 30, 2025Updated 2 months ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Apr 21, 2021Updated 4 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 6 months ago
- Selective Functors & Probabilistic Programming☆22Jun 17, 2021Updated 4 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- ☆11May 14, 2023Updated 2 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- ☆12Dec 13, 2025Updated 2 months ago
- Check if files in stream conflict with those in target dir, with option to use new, keep old, show diff, etc.☆22Dec 29, 2017Updated 8 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Oct 2, 2022Updated 3 years ago
- Category theory and algebra☆27Aug 4, 2016Updated 9 years ago
- ☆29Jun 23, 2022Updated 3 years ago
- Generalized syntax & semantics for universe hierarchies☆32Dec 11, 2023Updated 2 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Dec 29, 2023Updated 2 years ago
- A guideline compliant Tetris clone made with Haskell.☆25Jan 13, 2021Updated 5 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104May 25, 2022Updated 3 years ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 4 years ago
- Functor-parametric containers☆20Jan 19, 2025Updated last year
- A library to easily use servant and GDP together to build web apis with a lot of knowledge in the types☆10Sep 15, 2021Updated 4 years ago
- Julia embedded in Haskell☆52Dec 14, 2024Updated last year
- A formalization of Constructive Projective Geometry in Agda☆12Jun 10, 2019Updated 6 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Feb 28, 2026Updated last week
- A simplistic AFRP implementation☆13Sep 3, 2015Updated 10 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Paper and talk☆55Jul 11, 2023Updated 2 years ago
- An introduction to programming language theory in Agda☆1,496Updated this week
- Theory and Applications of Lenses and Optics☆56Apr 29, 2022Updated 3 years ago
- Transform a Folder into a Stack Template☆14May 8, 2023Updated 2 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Source files used for the Cedille Cast videos☆13Dec 28, 2025Updated 2 months ago