Reynir Björnsson

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

Brainfuck. Brainfuck formalized in Coq

qubes-mirage-ssh-agent. Ssh-agent unikernel for QubesOS

ocp-index-top. OCaml

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

ocaml-ssh-agent. OCaml

origami-sledgehammer. It's a pastebin, okay?

mirage-block-partition. Partition a Mirage block device into two block devices

mirage-cat. Cat implemented in MirageOS for solo5

let-if. OCaml

ppx_optint. OCaml

gptar. GPT + TAR header

ocaml-secret-sharing. Threshold Secret Sharing in OCaml

ocaml-digitalocean. OCaml library for the digitalocean.com v1 API

dream-normalize-route. OCaml

evil-opam-repository. An opam repository where many of the archives are not available or have the wrong checksum

bf.js. A brainfuck compiler in javascript that outputs a javascript function.

TIP. Tiny Imperative Programming Language

use_mod. OCaml

miragevpn. An opinionated implementation of the OpenVPN protocol

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

chamelon. a small, simple block-backed key-value store for MirageOS

Canopy. A git-blogging unikernel written using MirageOS

angstrom. Parser combinators built for speed and memory efficiency

awa-ssh. Purely functional SSH library in ocaml.

ocaml-digitalocean-v2. Very incomplete implementation of DigitalOcean v2 api - https://developers.digitalocean.com/v2/

opam. OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

uslock. slock with unicode / X input method support.

python-str-repr. Python's str.__repr__() in OCaml

boulder. An ACME-based CA, written in Go.

conan. Like detective conan, find clue about the type of the file

decompress. Pure OCaml implementation of Zlib.

certgrinder. certgrinder

checkseum. C

ocaml-cert-pubkey-fp. OCaml

naev. NAEV is a 2d action/rpg space game that combines elements from the action, rpg and simulation genres.