MirageOS

All

209 repositories

conan
Public
Like detective conan, find clue about the type of the file
file mime
file mime
OCaml
•
Other
•8•57•2•1•Updated Mar 6, 2026Mar 6, 2026
ocaml-dns
Public
OCaml implementation of the DNS protocol
dns ocaml mirageos
dns ocaml mirageos unikernel
OCaml
•
BSD 2-Clause "Simplified" License
•44•112•16•3•Updated Mar 5, 2026Mar 5, 2026
ca-certs-nss
Public
CA certificates extracted from NSS, to be used with MirageOS
OCaml
•
ISC License
•2•7•2•0•Updated Mar 3, 2026Mar 3, 2026
ocaml-dkim
Public
DKIM support on e-mail
OCaml
•
MIT License
•2•11•3•0•Updated Mar 2, 2026Mar 2, 2026
irmin.org
Public
Irmin website
CSS
•
ISC License
•14•12•10•1•Updated Feb 26, 2026Feb 26, 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
•165•1.9k•122•17•Updated Feb 26, 2026Feb 26, 2026
Zarith
Public
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is ver…
OCaml
•
Other
•78•0•2•0•Updated Feb 26, 2026Feb 26, 2026
colombe
Public
Implementation of SMTP protocols in OCaml
OCaml
•
MIT License
•8•46•1•1•Updated Feb 26, 2026Feb 26, 2026
charrua
Public
A DHCP library in OCaml
ocaml unikernel dhcp-server
ocaml unikernel dhcp-server mirage dhcp-library
OCaml
•
ISC License
•19•61•2•1•Updated Feb 25, 2026Feb 25, 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
•263•2.9k•50•8•Updated Feb 24, 2026Feb 24, 2026
dns-resolver
Public
OCaml
•2•7•1•1•Updated Feb 22, 2026Feb 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
•
ISC License
•46•81•20•4•Updated Feb 19, 2026Feb 19, 2026
ocaml-ipaddr
Public
A library for manipulation of IP (and MAC) address representations
ipv6 ocaml ipv4
ipv6 ocaml ipv4 ip-address mac-address
OCaml
•
ISC License
•24•40•10•0•Updated Feb 19, 2026Feb 19, 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
•92•355•28•8•Updated Feb 18, 2026Feb 18, 2026
ocaml-solo5
Public
Freestanding OCaml runtime
ocaml mirageos
ocaml mirageos
C
•
Other
•32•108•1•2•Updated Feb 18, 2026Feb 18, 2026
ocaml-qcow
Public
Pure OCaml code for parsing, printing, modifying .qcow format data
OCaml
•
Other
•20•20•3•1•Updated Feb 18, 2026Feb 18, 2026
irmin-watcher
Public
Portable implementation of the Irmin Watch API
OCaml
•
ISC License
•17•14•7•2•Updated Feb 10, 2026Feb 10, 2026
index
Public
A platform-agnostic multi-level index
OCaml
•
MIT License
•23•33•24•9•Updated Feb 5, 2026Feb 5, 2026
ocaml-unikraft
Public
OCaml cross-compiler to freestanding Unikraft backends
OCaml
•
MIT License
•1•9•0•0•Updated Feb 4, 2026Feb 4, 2026
capnp-rpc
Public
Cap'n Proto RPC implementation
ocaml-library rpc-framework capnproto
ocaml-library rpc-framework capnproto capn-proto
OCaml
•
Other
•24•112•6•3•Updated Feb 1, 2026Feb 1, 2026
ocaml-tar
Public
Pure OCaml library to read and write tar files
OCaml
•
ISC License
•33•55•10•2•Updated Jan 27, 2026Jan 27, 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•772•92•14•Updated Jan 15, 2026Jan 15, 2026
mirage-www
Public
Website infrastructure and content for mirage.io
HTML
•
ISC License
•108•173•18•4•Updated Jan 7, 2026Jan 7, 2026
mirage-skeleton
Public
Examples of simple MirageOS apps
examples ocaml mirageos
examples ocaml mirageos unikernel
OCaml
•
The Unlicense
•100•234•3•3•Updated Jan 7, 2026Jan 7, 2026
ocaml-github
Public
GitHub APIv3 OCaml bindings
OCaml
•
ISC License
•55•103•21•2•Updated Dec 19, 2025Dec 19, 2025
alcotest
Public
A lightweight and colourful test framework
unit-testing ocaml
unit-testing ocaml
OCaml
•
ISC License
•86•503•45•10•Updated Dec 18, 2025Dec 18, 2025
uspf
Public
SPF verifier and signer in OCaml
OCaml
•
MIT License
•2•10•2•0•Updated Dec 15, 2025Dec 15, 2025
ptt
Public
Postes, Télégraphes et Téléphones
OCaml
•6•28•9•2•Updated Dec 15, 2025Dec 15, 2025
ocaml-rpc
Public
Light library to deal with RPCs in OCaml
OCaml
•
ISC License
•30•99•6•6•Updated Dec 11, 2025Dec 11, 2025
mrmime
Public
What do you mean?
OCaml
•
MIT License
•11•47•6•0•Updated Dec 10, 2025Dec 10, 2025