The Wayback Machine - https://web.archive.org/web/20210126061024/https://github.com/reynir
Skip to content
Avatar
  • Block or report user

    Block or report reynir

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
90 followers · 110 following · 285

Highlights

  • Arctic Code Vault Contributor

Organizations

@modubot @sorbusursina

Popular repositories

  1. Brainfuck

    Brainfuck formalized in Coq

    Coq 20 1

  2. Verified Archived

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

    Idris 20 4

  3. ocp-index-top

    OCaml 18

  4. qubes-mirage-ssh-agent

    Ssh-agent unikernel for QubesOS

    OCaml 16 4

  5. ocaml-ssh-agent

    OCaml 12 2

  6. origami-sledgehammer

    It's a pastebin, okay?

    OCaml 10

176 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

January 2021

Created 3 commits in 2 repositories
Created 1 repository

Created a pull request in roburio/albatross that received 2 comments

Add ASN test

The test is just enough to trigger exception Asn_core.Ambiguous_syntax.

+13 −0 • 2 comments
Opened 1 other pull request in 1 repository
paurkedal/ocaml-caqti
1 merged
Reviewed 2 pull requests in 1 repository

Created an issue in paurkedal/ocaml-caqti that received 1 comment

Documented example out of date

ocaml-caqti/tests/bikereg.ml Lines 51 to 53 in 18e9ec2 The referenced value Q._q does not exist anywhere.

1 comment

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