oisdk

Donnacha Oisín Kidney's repositories

groupBy

An example replacement for Data.List.groupBy

Language:HaskellMIT8 30

type-indexed-queues

Queues with verified and unverified versions

Language:HaskellMIT8 40

agda-avl

Language:TeXMIT4 30

constrained-monads

A library for monads with constraints over the types they contain

Language:HTMLMIT4 40

hstrie

Language:HaskellMIT2 30

quickselect

implementation of introselect in haskell

Language:HaskellMIT2 30

verified-avl

Language:HaskellMIT2 30

agda-poly

Language:Agda1 30

bfs

Language:HTMLMIT1 30

difference-monoid

Language:HaskellMIT1 30

generic-church

Language:HaskellMIT1 30

prob-presentation

Language:PythonMIT1 30

pure-arrays

Language:HaskellMIT1 30

team-software-project

Language:Python1 60

a_4

Language:Python030

adjunctions

Simple adjunctions

Language:HaskellNOASSERTION030

idris-pfds

Purely functional data structures in Idris

Language:IdrisMIT030

IHaskell

A Haskell kernel for IPython.

Language:HaskellMIT030

lazy-option

Language:HaskellMIT030

linear

Low-dimensional linear algebra primitives for Haskell.

Language:HaskellNOASSERTION030

nat-sized-numbers

Arbitrarily sized wraparound numeric types. Useful for testing

Language:HaskellMIT030

pandoc-templates

Templates for pandoc

Language:Roff030

pattern-folds

Language:HaskellMIT030

permutations

Language:HaskellMIT030

Playgrounds

Language:HaskellMIT030

slow-numbers

Language:HaskellMIT030

sort-traversable

Sort any Traversable container

Language:HaskellBSD-2-Clause030

treefold

Language:HaskellMIT03 1

uniquely-represented-sets

This package provides a set with a unique representation.

Language:HaskellMIT030

web-dev-project

030