This is your work, valued

Poland

Wojciech Jedynak

Advanced
@wjzz

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

12

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

8

agda-DTP-examples. Haskell

7

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

7

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

5

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

4

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

4

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

2