mirage repositories

210 repositories

bechamel
Public
Agnostic benchmark in OCaml (proof-of-concept)
OCaml
•
MIT License
•17•43•2•3•Updated Aug 29, 2026Aug 29, 2026
conan
Public
Like detective conan, find clue about the type of the file
file mime
file mime
OCaml
•
Other
•8•59•2•1•Updated Aug 26, 2026Aug 26, 2026
mirage-crypto
Public
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
cryptography aes ocaml
cryptography aes ocaml rsa sha2 mirageos rng dsa dh fortuna
C
•46•82•20•4•Updated Aug 26, 2026Aug 26, 2026
mirage-tcpip
Public
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
tcp udp ocaml
tcp udp ocaml icmp ipv4 arp mirageos unikernel ethernet tcpip
OCaml
•
ISC License
•95•359•27•9•Updated Aug 26, 2026Aug 26, 2026
mirage-www
Public
Website infrastructure and content for mirage.io
HTML
•
ISC License
•108•174•18•7•Updated Aug 26, 2026Aug 26, 2026
prometheus
Public
OCaml library for reporting metrics to a Prometheus server
metrics ocaml mirageos
metrics ocaml mirageos
OCaml
•
Apache License 2.0
•28•53•0•0•Updated Aug 22, 2026Aug 22, 2026
ca-certs-nss
Public
CA certificates extracted from NSS, to be used with MirageOS
OCaml
•
ISC License
•2•7•2•0•Updated Aug 21, 2026Aug 21, 2026
ocaml-cohttp
Public
An OCaml library for HTTP clients and servers using Lwt or Async
http unix ocaml
http unix ocaml http-client lwt
OCaml
•
Other
•184•776•91•14•Updated Aug 20, 2026Aug 20, 2026
qubes-mirage-firewall
Public
A Mirage firewall VM for QubesOS
firewall ocaml mirageos
firewall ocaml mirageos unikernel qubesos
OCaml
•
BSD 2-Clause "Simplified" License
•30•238•13•1•Updated Aug 20, 2026Aug 20, 2026
mirage-net-xen
Public
Xen Netfront and Netback ethernet device drivers for Mirage
OCaml
•
ISC License
•16•12•2•2•Updated Aug 17, 2026Aug 17, 2026
mirage-xen
Public
Xen core platform libraries for MirageOS
xen ocaml mirageos
xen ocaml mirageos mirage-platform
C
•
ISC License
•20•18•2•0•Updated Aug 14, 2026Aug 14, 2026
ocaml-solo5
Public
Freestanding OCaml runtime
ocaml mirageos
ocaml mirageos
C
•
Other
•35•113•1•4•Updated Aug 14, 2026Aug 14, 2026
mirage-qubes
Public
Mirage support for writing QubesOS AppVM unikernels
OCaml
•
BSD 2-Clause "Simplified" License
•11•66•1•0•Updated Aug 14, 2026Aug 14, 2026
ocaml-fsevents
Public
macOS bindings to the FSEvents API
OCaml
•
ISC License
•4•18•2•3•Updated Aug 13, 2026Aug 13, 2026
mirage-nat
Public
library for network address translation intended for use with mirage unikernels
OCaml
•
ISC License
•15•33•0•0•Updated Aug 5, 2026Aug 5, 2026
capnp-rpc
Public
Cap'n Proto RPC implementation
ocaml-library rpc-framework capnproto
ocaml-library rpc-framework capnproto capn-proto
OCaml
•
Other
•23•117•6•3•Updated Jul 30, 2026Jul 30, 2026
ocaml-dns
Public
OCaml implementation of the DNS protocol
dns ocaml mirageos
dns ocaml mirageos unikernel
OCaml
•
BSD 2-Clause "Simplified" License
•46•120•17•3•Updated Jul 30, 2026Jul 30, 2026
ocaml-crunch
Public
Convert a filesystem into a static OCaml module
OCaml
•
Other
•24•78•7•2•Updated Jul 29, 2026Jul 29, 2026
optint
Public
Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)
OCaml
•
MIT License
•11•24•1•3•Updated Jul 29, 2026Jul 29, 2026
mirage
Public
MirageOS is a library operating system that constructs unikernels
linux xen ocaml
linux xen ocaml opam kvm mirageos unikernel
OCaml
•
ISC License
•276•3k•50•12•Updated Jul 28, 2026Jul 28, 2026
ocaml-gmp
Public
GMP in a dune wrapper
Shell
•
GNU General Public License v3.0
•8•7•1•3•Updated Jul 23, 2026Jul 23, 2026
ocaml-cstruct
Public
Map OCaml arrays onto C-like structs
OCaml
•
ISC License
•50•116•26•8•Updated Jul 22, 2026Jul 22, 2026
decompress
Public
Pure OCaml implementation of Zlib.
compression ocaml huffman
compression ocaml huffman zlib decompression inflate lz77 deflate
OCaml
•
MIT License
•19•119•6•2•Updated Jul 22, 2026Jul 22, 2026
ocaml-qcow
Public
Pure OCaml code for parsing, printing, modifying .qcow format data
OCaml
•
Other
•20•21•3•0•Updated Jul 22, 2026Jul 22, 2026
emile
Public
& images
parser ocaml rfc822
parser ocaml rfc822 rfc2822 e-mail rfc5322 rfc5321
OCaml
•
MIT License
•2•32•0•0•Updated Jul 21, 2026Jul 21, 2026
alcotest
Public
A lightweight and colourful test framework
unit-testing ocaml
unit-testing ocaml
OCaml
•
ISC License
•91•514•47•16•Updated Jul 20, 2026Jul 20, 2026
pecu
Public
Implementation of quoted-printable encoder/decoder from RFC2045
OCaml
•
MIT License
•3•5•0•1•Updated Jul 19, 2026Jul 19, 2026
charrua
Public
A DHCP library in OCaml
ocaml unikernel dhcp-server
ocaml unikernel dhcp-server mirage dhcp-library
OCaml
•
ISC License
•20•64•2•2•Updated Jul 15, 2026Jul 15, 2026
digestif
Public
Simple hash algorithms in OCaml
c ocaml hash
c ocaml hash md5 blake2b sha1 sha256 sha512 sha384 sha224
OCaml
•
MIT License
•32•95•6•1•Updated Jul 15, 2026Jul 15, 2026
ocaml-unikraft
Public
OCaml cross-compiler to freestanding Unikraft backends
OCaml
•
MIT License
•2•10•1•3•Updated Jul 6, 2026Jul 6, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Navigation Menu

MirageOS

All

210 repositories

bechamel

conan

mirage-crypto

mirage-tcpip

mirage-www

prometheus

ca-certs-nss

ocaml-cohttp

qubes-mirage-firewall

mirage-net-xen

mirage-xen

ocaml-solo5

mirage-qubes

ocaml-fsevents

mirage-nat

capnp-rpc

ocaml-dns

ocaml-crunch

optint

mirage

ocaml-gmp

ocaml-cstruct

decompress

ocaml-qcow

emile

alcotest

pecu

charrua

digestif

ocaml-unikraft

Repositories list

210 repositories