Pippijn van Steenhoven's repositories
oink-stack
Oink is a collaboration of C++ static analysis tools.
pa_monad_custom
Syntactic Sugar for Monads in OCaml
ucjvm-manager
Qt manager for uCJVM
webservice
Common Eliom webservice modules
Xinutec Research Labs
London
Oink is a collaboration of C++ static analysis tools.
Syntactic Sugar for Monads in OCaml
Qt manager for uCJVM
Common Eliom webservice modules