Donnacha Oisín Kidney

icon indicating a website link https://doisinkidney.com/

icon location Cork, Ireland icon location Computer science PhD student at Imperial College London.

Results 3 repositories owned by Donnacha Oisín Kidney

agda-ring-solver

38
Stars
4
Forks
Watchers

A fast, easy-to-use ring solver for agda with step-by-step solutions

verified publisher icon oisdk

monus-weighted-search

16
Stars
2
Forks
Watchers

Efficient search weighted by an ordered monoid with monus.

verified publisher icon oisdk

SwiftDataStructures

64
Stars
7
Forks
Watchers

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

verified publisher icon oisdk