Donnacha Oisín Kidney's repositories
agda-ring-solver
A fast, easy-to-use ring solver for agda with step-by-step solutions
monus-weighted-search
Efficient search weighted by an ordered monoid with monus.
semiring-num
library with a semiring class and some useful semirings
arity-generic-liftA
Provides an arity-generic version of the liftA2, liftA3... liftAn functions
hakyll-series
Add Series Functionality to Hakyll
agda-stdlib
The Agda standard library
containers
Assorted concrete container types
haskell-challenges
Code challenges to solve with Haskell
OrdinalNotations
An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions