Reynir Björnsson

irmin

Irmin is a distributed database that follows the same design principles as Git

OCaml - Released: 22 Apr 2013 - 1,839

mirage

MirageOS is a library operating system that constructs unikernels

OCaml - Released: 04 Dec 2009 - 2,526

alcotest

A lightweight and colourful test framework

OCaml - Released: 12 Dec 2013 - 450

mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

OCaml - Released: 20 Jun 2012 - 339

ocaml-git

Pure OCaml Git format and protocol

OCaml - Released: 12 Mar 2013 - 362

ocaml-dns

OCaml implementation of the DNS protocol

OCaml - Released: 10 Jan 2012 - 106

mirage-crypto

Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

C - Released: 05 Feb 2020 - 77

mirage-skeleton

Examples of simple MirageOS apps

OCaml - Released: 15 Dec 2012 - 211

banawa-chat

SSH chat server using trust on first use for user registration

OCaml - Released: 03 May 2023 - 29

qubes-mirage-ssh-agent

Ssh-agent unikernel for QubesOS

OCaml - Released: 23 Dec 2017 - 20

Brainfuck

Brainfuck formalized in Coq

Coq - Released: 17 Sep 2013 - 27

ocaml-ssh-agent

OCaml - Released: 17 Oct 2017 - 15

ocp-index-top

OCaml - Released: 03 Mar 2017 - 20

origami-sledgehammer

It's a pastebin, okay?

OCaml - Released: 01 Oct 2016 - 12

mirage-block-partition

Partition a Mirage block device into two block devices

OCaml - Released: 07 Sep 2022 - 9

ppx_optint

OCaml - Released: 14 Dec 2022 - 6

mirage-cat

Cat implemented in MirageOS for solo5

OCaml - Released: 01 May 2023 - 8

gptar

GPT + TAR header

OCaml - Released: 15 Feb 2024 - 6

oneffs

Single file filesystem for MirageOS - mirror

OCaml - Released: 27 Sep 2022 - 5

let-if

OCaml - Released: 03 Aug 2018 - 7

ocaml-secret-sharing

Threshold Secret Sharing in OCaml

OCaml - Released: 09 Jan 2018 - 5

dream-normalize-route

OCaml - Released: 14 Feb 2022 - 3