mirage repositories

210 repositories

digestif
Public
Simple hash algorithms in OCaml
c ocaml hash
c ocaml hash md5 blake2b sha1 sha256 sha512 sha384 sha224
OCaml
•
MIT License
•33•95•7•2•Updated Sep 22, 2026Sep 22, 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
•47•82•21•9•Updated Sep 21, 2026Sep 21, 2026
awa-ssh
Public
Purely functional SSH library in ocaml.
ssh security cryptography
ssh security cryptography ocaml pure mirageos mirage ssh-library awa-ssh
OCaml
•
ISC License
•15•108•3•3•Updated Sep 19, 2026Sep 19, 2026
mirage-net-xen
Public
Xen Netfront and Netback ethernet device drivers for Mirage
OCaml
•
ISC License
•16•13•2•2•Updated Sep 16, 2026Sep 16, 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•1•Updated Sep 15, 2026Sep 15, 2026
ocaml-unikraft
Public
OCaml cross-compiler to freestanding Unikraft backends
OCaml
•
MIT License
•2•10•1•4•Updated Sep 14, 2026Sep 14, 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 Sep 13, 2026Sep 13, 2026
capnp-rpc
Public
Cap'n Proto RPC implementation
ocaml-library rpc-framework capnproto
ocaml-library rpc-framework capnproto capn-proto
OCaml
•
Other
•23•118•6•3•Updated Sep 13, 2026Sep 13, 2026
ca-certs-nss
Public
CA certificates extracted from NSS, to be used with MirageOS
OCaml
•
ISC License
•2•7•2•1•Updated Sep 11, 2026Sep 11, 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
•185•777•92•15•Updated Sep 8, 2026Sep 8, 2026
ocaml-cstruct
Public
Map OCaml arrays onto C-like structs
OCaml
•
ISC License
•50•115•26•10•Updated Sep 5, 2026Sep 5, 2026
irmin-watcher
Public
Portable implementation of the Irmin Watch API
OCaml
•
ISC License
•17•17•7•2•Updated Sep 2, 2026Sep 2, 2026
irmin
Public
Irmin is a distributed database that follows the same design principles as Git
git database storage
git database storage ocaml mirageos irmin
OCaml
•
ISC License
•167•2k•125•23•Updated Sep 2, 2026Sep 2, 2026
bechamel
Public
Agnostic benchmark in OCaml (proof-of-concept)
OCaml
•
MIT License
•17•44•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-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
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-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
•14•33•0•0•Updated Aug 5, 2026Aug 5, 2026
ocaml-crunch
Public
Convert a filesystem into a static OCaml module
OCaml
•
Other
•24•78•7•1•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
decompress
Public
Pure OCaml implementation of Zlib.
compression ocaml huffman
compression ocaml huffman zlib decompression inflate lz77 deflate
OCaml
•
MIT License
•19•119•8•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

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

Navigation Menu

MirageOS

All

210 repositories

digestif

mirage-crypto

awa-ssh

mirage-net-xen

charrua

ocaml-unikraft

ocaml-dns

capnp-rpc

ca-certs-nss

ocaml-cohttp

ocaml-cstruct

irmin-watcher

irmin

bechamel

conan

mirage-tcpip

mirage-www

prometheus

qubes-mirage-firewall

mirage-xen

ocaml-solo5

mirage-qubes

ocaml-fsevents

mirage-nat

ocaml-crunch

optint

mirage

ocaml-gmp

decompress

ocaml-qcow

Repositories list

210 repositories