Donnacha Oisín Kidney (@oisdk)
github

oisdk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    629
  • Global Rank 47,254 (Top 2 %)
  • Followers 119
  • Following 87
  • Registered over 9 years ago
  • Most used languages
    Haskell
         46.7 %
    Swift
         22.2 %
    Agda     15.6 %
    HTML
         6.7 %
    TeX
         4.4 %
    Python
         4.4 %
  • Location 🇮🇪 Ireland
  • Country Total Rank 103
  • Country Ranking
    Agda     1
    Haskell
         4
    Swift
         7
    TeX
         18
    HTML
         44
    Python
         976

Top repositories

1

SwiftSequence

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

SwiftDataStructures

Data structures in Swift, including a Trie, Tree, List, and Deque
Swift
64
star
3

agda-ring-solver

A fast, easy-to-use ring solver for agda with step-by-step solutions
Agda
38
star
4

monus-weighted-search

Efficient search weighted by an ordered monoid with monus.
Haskell
16
star
5

site

Source code for doisinkidney.com
HTML
14
star
6

semiring-num

library with a semiring class and some useful semirings
Haskell
11
star
7

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

Swift
8
star
8

type-indexed-queues

Queues with verified and unverified versions
Haskell
8
star
9

groupBy

An example replacement for Data.List.groupBy
Haskell
8
star
10

arity-generic-liftA

Provides an arity-generic version of the liftA2, liftA3... liftAn functions
Haskell
8
star
11

agda-playground

Agda
7
star
12

finiteness-in-cubical-type-theory

Agda
7
star
13

masters-thesis

Agda
5
star
14

Monty-Hall

Swift
5
star
15

agda-avl

TeX
4
star
16

constrained-monads

A library for monads with constraints over the types they contain
HTML
4
star
17

binary-tree

Haskell
4
star
18

PretendDependSwift

A library for pretending that Swift is dependently typed
Swift
3
star
19

agda-ring-solver-report

TeX
3
star
20

lean-peano

Haskell
3
star
21

SwiftTrie

Swift
3
star
22

weighted

WeightedT monad transformer.
Haskell
2
star
23

strict-writer

Deprecated in favour of http://hackage.haskell.org/package/writer-cps-mtl-0.1.0.0
Haskell
2
star
24

verified-avl

Haskell
2
star
25

hstrie

Haskell
2
star
26

quickselect

implementation of introselect in haskell
Haskell
2
star
27

hakyll-series

Add Series Functionality to Hakyll
Haskell
2
star
28

ConstArray

Swift
1
star
29

difference-monoid

Haskell
1
star
30

puzzles

Haskell
1
star
31

bfs

HTML
1
star
32

agda-binary

Agda
1
star
33

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

Swift
1
star
34

levels-monad

Haskell
1
star
35

agda-poly

Agda
1
star
36

generic-church

Haskell
1
star
37

ContiguousDeque

Swift
1
star
38

mddoctest

Test code examples in markdown files
Haskell
1
star
39

recursion-schemes-extras

Haskell
1
star
40

prob-presentation

Python
1
star
41

SubSum

Swift
1
star
42

monadic-heap

Haskell
1
star
43

pure-arrays

Haskell
1
star
44

agda-indexed-fingertree

Agda
1
star
45

team-software-project

Python
1
star
46

project-euler

1
star