Reynir Björnsson reynir

• Denmark
• https://reyn.ir/

Organizations

Popular repositories Loading

1. SSH chat server using trust on first use for user registration

   OCaml 32

2. Brainfuck formalized in Coq

   Coq 31 2

3. Ssh-agent unikernel for QubesOS

   OCaml 23 4

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

   Idris 18 4