Block or report user

Report or block reynir

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Popular repositories

  1. Verified

    A collection of proofs for some idris class instances - NOT MAINTAINED

    Idris 19 4

  2. Brainfuck

    Brainfuck formalized in Coq

    Coq 14 1

  3. ocp-index-top

    OCaml 14 1

  4. ocaml-ssh-agent

    OCaml 7 1

  5. ocaml-secret-sharing

    Threshold Secret Sharing in OCaml

    OCaml 6 2

  6. ocaml-digitalocean

    OCaml library for the v1 API

    OCaml 5

246 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2018

Created a pull request in ocaml/opam that received 12 comments

Add /rw/usrlocal to

On Qubes /usr/local/ is usually a symlink to /rw/usrlocal/. I had trouble installing cpuid because it calls out to opam, but since /usr/local/ is a…

+1 −1 12 comments

Created an issue in mirage/mirage-platform that received 4 comments

Opam2: Calling opam config exec -- ocamlfind query foo fails in the sandbox

The build script calls opam config exec -- ocamlfind query foo and this fails in opam2 because ~/opam/log/ is read-only in the sandbox. I'm not sur…


Seeing something unexpected? Take a look at the GitHub profile guide.