drets

Pinned Repositories

algo
Basic algorithms.
Language:Python00
Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
Language:Haskell00
copper
Language:PureScript1 3 00
how-to-prove-it
Language:Pure Data51
mu-puzzle
https://en.wikipedia.org/wiki/MU_puzzle
Language:Coq2 3 00
stat
Language:JavaScript0 3 00
heutagogy-backend
Language:Python73
heutagogy-chrome-extension
Language:JavaScript53
heutagogy-frontend
Language:JavaScript4 3 153

drets's Repositories

drets/vagrant-box-osx
Issue tracker for macOS Sierra Vagrant box.
drets/guide
A site for comparing Haskell libraries and other things
Language:Haskell
drets/algo
Basic algorithms.
Language:Python
drets/ial
Iowa Agda Library
Language:Agda
drets/course
“NICTA” solutions.
Language:Haskell
drets/cis-194-solutions
“CIS-194 (2013)” solutions.
Language:Haskell
drets/singpolyma-kernel
A basic microkernel
Language:C
drets/Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
Language:Haskell