Pinned Repositories
configs
Personal configuration snippets
mirage-rbac
RBAC system for OpenMirage
ocaml
Read-only mirror of INRIA SVN
ocaml-rdseed
Ocaml interface to the Intel RDSEED instruction used to fetch "entropy" from the NSA-backdoored "random" number generator on modern Intel CPUs
opam-signing
Notes on bringing signature verification to OPAM, the Ocaml Package Manager
TimKnast's Repositories
TimKnast/ocaml-rdseed
Ocaml interface to the Intel RDSEED instruction used to fetch "entropy" from the NSA-backdoored "random" number generator on modern Intel CPUs
TimKnast/mirage-rbac
RBAC system for OpenMirage
TimKnast/configs
Personal configuration snippets
TimKnast/ocaml
Read-only mirror of INRIA SVN
TimKnast/opam-signing
Notes on bringing signature verification to OPAM, the Ocaml Package Manager