Popular repositories Loading

1. banawa-chat banawa-chat Public

   SSH chat server using trust on first use for user registration

   OCaml 33 1

2. Brainfuck Brainfuck Public

   Brainfuck formalized in Coq

   Coq 32 2

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

   Ssh-agent unikernel for QubesOS

   OCaml 25 5

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 17 3