oisdk

Donnacha Oisín Kidney's repositories

agda-ring-solver

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

Language:AgdaMIT38 4 4

monus-weighted-search

Efficient search weighted by an ordered monoid with monus.

Language:HaskellMIT16 4 1

site

Source code for doisinkidney.com

Language:HTML14 40

semiring-num

library with a semiring class and some useful semirings

Language:HaskellMIT11 3 4

arity-generic-liftA

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

Language:HaskellMIT8 3 1

agda-playground

Language:AgdaMIT7 30

finiteness-in-cubical-type-theory

Language:Agda7 40

agda-ring-solver-report

Language:TeXMIT5 30

agda-avl

Language:TeXMIT4 30

binary-tree

Language:HaskellMIT4 3 1

lean-peano

Language:HaskellBSD-3-Clause3 30

hakyll-series

Add Series Functionality to Hakyll

Language:HaskellMIT2 3 2

agda-binary

Language:AgdaMIT1 30

agda-indexed-fingertree

Language:AgdaMIT1 30

levels-monad

Language:HaskellMIT1 30

monadic-heap

Language:HaskellApache-2.01 30

project-euler

1 30

pure-arrays

Language:HaskellMIT1 30

puzzles

Language:Haskell1 30

agda-kleene-lists

Language:AgdaMIT030

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION020

bfts-mpc-presentation

020

combinatorics-paper

Language:TeXMIT040

containers

Assorted concrete container types

Language:HaskellNOASSERTION030

haskell-challenges

Code challenges to solve with Haskell

Language:HaskellMIT020

latex-paper-template

Language:TeXApache-2.0030

mtheme

A modern LaTeX Beamer theme

Language:TeX020

OrdinalNotations

An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions

Language:AgdaGPL-3.0020

selective

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

Language:TeXMIT020

Square

An implementation of Okasaki's square matrices

Language:HaskellMIT030