Skip to content

Organizations

@mirage

Sponsors

Set LED color for logitech g403 mouse

C 10 1 Updated Jan 16, 2018

Your self-hosted, globally interconnected microblogging community

Ruby 21,361 3,658 Updated Jul 7, 2020

former home of Charrua client code

OCaml 6 3 Updated Jun 19, 2017

Unsigned integers for OCaml

OCaml 7 2 Updated May 22, 2017

Purely functional SSH library in ocaml.

OCaml 62 7 Updated Jul 4, 2020

A b-tree implementation for Mirage BLOCK devices

OCaml 12 1 Updated Oct 15, 2016

a netif that reads from pcap and saves writes to memory

OCaml 5 1 Updated Mar 12, 2016

OCaml implementation of the Multicast DNS protocol (mostly obsolete - see ocaml-dns)

OCaml 9 1 Updated Oct 21, 2015

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

OCaml 259 67 Updated Jun 19, 2020

Examples of simple MirageOS apps

OCaml 153 79 Updated Jun 18, 2020

MirageOS is a library operating system that constructs unikernels

OCaml 1,488 193 Updated Jul 6, 2020

OCaml promises and concurrent I/O

OCaml 467 138 Updated Jun 21, 2020

A DHCP server for UNIX systems based on charrua-core.

OCaml 12 2 Updated May 24, 2017

Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl

OCaml 54 22 Updated Mar 5, 2019

Bindings to UNIX tuntap facilities

OCaml 16 20 Updated Jun 18, 2020

Thin OCaml bindings to various low-level system APIs not covered by Unix module

OCaml 31 14 Updated Nov 8, 2019

A library for manipulation of IP (and MAC) address representations

OCaml 30 18 Updated Jun 24, 2020

A DHCP library in OCaml

OCaml 54 14 Updated Jun 22, 2020

WIP replacement for OpenBSD file(1). Eventually to become a shared library mimicking libmagic.

C 7 4 Updated Nov 6, 2011

IP over ICMP VPN

C 5 1 Updated Aug 8, 2011

Router Advertisement Class Assignment

C 1 Updated Jul 1, 2011

A college assignment.

Python 2 Updated Jun 21, 2011

Try to burn the fullest DVD possible from a bunch of directories

1 Updated Sep 29, 2010

Some of my useful^W scripts.

Shell 2 Updated Dec 1, 2012

Fast TCP encryption

C 213 98 Updated Oct 30, 2019

Mdns daemon for OpenBSD.

C 99 28 Updated Dec 18, 2019

PIM-SM/SSM multicast routing for UNIX

C 123 69 Updated Feb 8, 2020
You can’t perform that action at this time.