Top New Best Ask Show Jobs

hannesm

191 karma · joined December 11, 2011

https://hannes.robur.coop -- team at rob ur .coop

submissions comments

A simple scheduler for OCaml 5 (effects, multicore)

discuss.ocaml.org·2 pts·hannesm·

The Bitcoin Piñata – no candy for you – running since 3 years

hannes.nqsb.io·2 pts·hannesm·

ICFP programming contest 2015

icfpcontest.org·2 pts·hannesm·

Signing the OPAM Repository: TUF Meets Git

opam.ocaml.org·42 pts·hannesm·

OCaml-TLS: the protocol implementation and mitigations to known attacks

openmirage.org·59 pts·hannesm·