Donnacha Oisín Kidney

SwiftSequence. A μframework of extensions for SequenceType in Swift 2.0, inspired by Python's itertools, Haskell's standard library, and other things.

SwiftDataStructures. Data structures in Swift, including a Trie, Tree, List, and Deque

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.

site. Source code for doisinkidney.com

semiring-num. library with a semiring class and some useful semirings

type-indexed-queues. Queues with verified and unverified versions

agda-playground. Agda

Using-Protocols-to-Build-a-very-Generic-Deque. Swift

arity-generic-liftA. Provides an arity-generic version of the liftA2, liftA3... liftAn functions

groupBy. An example replacement for Data.List.groupBy

finiteness-in-cubical-type-theory. Agda

agda-ring-solver-report. TeX

algebraic-free-monads-agda. Agda

Monty-Hall. Swift

agda-avl. TeX

formalising-graph-algorithms-with-coinduction. Agda

constrained-monads. A library for monads with constraints over the types they contain

binary-tree. Haskell

SwiftTrie. Swift

PretendDependSwift. A library for pretending that Swift is dependently typed

lean-peano. Haskell

quickselect. implementation of introselect in haskell

strict-writer. Deprecated in favour of http://hackage.haskell.org/package/writer-cps-mtl-0.1.0.0

agda-indexed-fingertree. Agda

agda-binary. Agda

hakyll-series. Add Series Functionality to Hakyll

hstrie. Haskell

weighted. WeightedT monad transformer.

agda-poly. Agda

verified-avl. Haskell

adjunctions. Simple adjunctions

bfs. HTML

SubSum. Swift

agda-kleene-lists. Agda

pure-arrays. Haskell

prob-presentation. Python

recursion-schemes-extras. Haskell

team-software-project. Python

PyParse. Python

agda-stdlib. The Agda standard library

ContiguousDeque. Swift

levels-monad. Haskell

monadic-heap. Haskell

generic-church. Haskell

ConstArray. Swift

project-euler.

puzzles. Haskell

difference-monoid. Haskell

mddoctest. Test code examples in markdown files

Deques-Queues-and-Lists-in-Swift-with-indirect. Swift