Reynir Björnsson reynir

Achievements

Achievements

Organizations

Popular repositories Loading

1. Brainfuck Brainfuck Public

   Brainfuck formalized in Coq

   Coq 32 2

2. banawa-chat banawa-chat Public

   SSH chat server using trust on first use for user registration

   OCaml 32 1

3. qubes-mirage-ssh-agent qubes-mirage-ssh-agent Public

   Ssh-agent unikernel for QubesOS

   OCaml 25 4

4. ocp-index-top ocp-index-top Public

   OCaml 20

5. Verified Verified Public archive

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

   Idris 18 4

6. ocaml-ssh-agent ocaml-ssh-agent Public

   OCaml 16 2