Wojciech Jedynak

Agda-reflection-for-semiring-solver. A simple demonstration of the Agda Reflection API

Agda-Representing-Monads. A formalization of some notions from the paper "Representing Monads" by Andrzej Filinski

agda-DTP-examples. Haskell

Agda-small-developments-and-examples. A collection of mostly unrelated Agda programs which I found interesting in some way.

Agda-mode-improvements. Some simple tools for agda-mode to make programming in Agda even more enjoyable.

Agda-theorem-library. My collection of rather simple, but useful theorems about basic Agda data types

Combinatory-logic. A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.

PumpingLemma. A formalization of the pumping lemma for regular languages in Coq