Where my everyday research happens
Here's an example of a solution linear in the number of constructors: https://github.com/gallais/potpourri/blob/main/agda/poc/LinearDec.agda
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.
agda2hs, verify your haskell code in agda?
3 projects | reddit.com/r/haskell | 4 Jan 2022
The Homotopy Type Theory (HoTT) Game
1 project | news.ycombinator.com | 26 Dec 2021
How far can I automate?
1 project | reddit.com/r/agda | 27 Nov 2021
What are some examples of non-trivial proofs written in Agda that I might read?
1 project | reddit.com/r/agda | 2 Oct 2021
"I code as a hobby!" — Ryan Orendorff
1 project | dev.to | 2 Sep 2021