kayceesrk/irmin-datatypes
A collection of functional, mergeable datatypes for Irmin
Developer Profile
kayceesrk
Discovered public repositories for kayceesrk in the GitHub catalog.
kayceesrk/ocl-reporter
Report generator for OCaml Labs
kayceesrk/kayceesrk.github.io
Personal website
kayceesrk/xen-arm-builder
Build an SDcard image for Xen/ARM, for a Cubieboard
kayceesrk/Coding
Coding puzzles
kayceesrk/popl2015-papers
Accepted papers for POPL 2015
kayceesrk/QueleaPaper
Public repository.
kayceesrk/Quelea
A Haskell library for declarative programming over eventually consistent store (Cassandra).
kayceesrk/PhDThesis
PhD thesis
kayceesrk/cassandra-cql
Haskell client for Cassandra's CQL protocol
kayceesrk/Z3
Z3 with custom extensions
kayceesrk/Notes
Research log
kayceesrk/Z3_Haskell
Z3 Haskell bindings and extensions
kayceesrk/popl2014-papers
Public repository.
kayceesrk/mlton-zmq
Distributed MLton
kayceesrk/Sting
An Optimizing Session Type Compiler for Java
kayceesrk/multiMLton
MLton for scalable multicore architectures