MirageOS

All

203 repositories

ca-certs-nss
Public
CA certificates extracted from NSS, to be used with MirageOS
OCaml
•
ISC License
•2•6•2•0•Updated Feb 4, 2025Feb 4, 2025
capnp-rpc
Public
Cap'n Proto RPC implementation
ocaml-library rpc-framework capnproto capn-proto
OCaml
•
Other
•21•105•6•3•Updated Feb 4, 2025Feb 4, 2025
uspf
Public
SPF verifier and signer in OCaml
OCaml
•
MIT License
•1•10•1•0•Updated Feb 3, 2025Feb 3, 2025
ocaml-dkim
Public
DKIM support on e-mail
OCaml
•
MIT License
•1•9•3•0•Updated Feb 3, 2025Feb 3, 2025
retreat-website
Public
Microsite for the MirageOS hack retreats
OCaml
•7•13•0•0•Updated Feb 3, 2025Feb 3, 2025
qubes-mirage-firewall
Public
A Mirage firewall VM for QubesOS
ocaml mirageos firewall unikernel qubesos
OCaml
•
BSD 2-Clause "Simplified" License
•28•214•10•0•Updated Feb 3, 2025Feb 3, 2025
mirage-sleep
Public
Sleep related functions for MirageOS
OCaml
•
ISC License
•0•3•0•0•Updated Feb 1, 2025Feb 1, 2025
mirage-ptime
Public
POSIX time functions for MirageOS
OCaml
•
Other
•0•4•0•0•Updated Feb 1, 2025Feb 1, 2025
mirage-mtime
Public
Monotonic time for MirageOS
OCaml
•
Other
•0•4•0•0•Updated Feb 1, 2025Feb 1, 2025
mirage-crypto
Public
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
cryptography aes ocaml rsa sha2 mirageos rng dsa dh fortuna
C
•
ISC License
•43•77•18•1•Updated Jan 31, 2025Jan 31, 2025
mirage
Public
MirageOS is a library operating system that constructs unikernels
linux xen ocaml opam kvm mirageos unikernel
OCaml
•
ISC License
•253•2.6k•46•9•Updated Jan 23, 2025Jan 23, 2025
ocaml-tar
Public
Pure OCaml library to read and write tar files
OCaml
•
ISC License
•34•56•9•2•Updated Jan 22, 2025Jan 22, 2025
mirage-tcpip
Public
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
ipv4 tcpip tcp udp ocaml icmp arp mirageos unikernel ethernet
OCaml
•
ISC License
•87•343•24•7•Updated Jan 20, 2025Jan 20, 2025
conan
Public
Like detective conan, find clue about the type of the file
file mime
OCaml
•
Other
•7•50•2•1•Updated Jan 17, 2025Jan 17, 2025
dns-resolver
Public
OCaml
•2•7•1•0•Updated Jan 16, 2025Jan 16, 2025
ocaml-cohttp
Public
An OCaml library for HTTP clients and servers using Lwt or Async
http http-client unix ocaml lwt
OCaml
•
Other
•177•720•88•12•Updated Jan 9, 2025Jan 9, 2025
emile
Public
& images
parser ocaml rfc822 rfc2822 e-mail rfc5322 rfc5321
OCaml
•
MIT License
•2•32•0•0•Updated Jan 8, 2025Jan 8, 2025
decompress
Public
Pure OCaml implementation of Zlib.
compression huffman decompression inflate lz77 deflate ocaml zlib
OCaml
•
MIT License
•21•116•6•2•Updated Jan 8, 2025Jan 8, 2025
digestif
Public
Simple hash algorithms in OCaml
c hash md5 blake2b sha1 sha256 sha512 sha384 sha224 ocaml
OCaml
•
MIT License
•27•88•6•0•Updated Jan 8, 2025Jan 8, 2025
ocaml-git
Public
Pure OCaml Git format and protocol
git ocaml
OCaml
•
ISC License
•69•363•13•7•Updated Jan 2, 2025Jan 2, 2025
ethernet
Public
Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml
network ocaml mirageos unikernel ethernet 802-3
OCaml
•
ISC License
•7•10•1•0•Updated Dec 17, 2024Dec 17, 2024
ocaml-dns
Public
OCaml implementation of the DNS protocol
dns mirageos unikernel ocaml
OCaml
•
BSD 2-Clause "Simplified" License
•43•105•25•5•Updated Dec 17, 2024Dec 17, 2024
ca-certs
Public
Detect root CA certificates from the operating system
OCaml
•
ISC License
•13•14•2•3•Updated Dec 17, 2024Dec 17, 2024
awa-ssh
Public
Purely functional SSH library in ocaml.
ssh security cryptography pure mirageos mirage ocaml ssh-library awa-ssh
OCaml
•
ISC License
•12•104•4•1•Updated Dec 17, 2024Dec 17, 2024
arp
Public
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
network mirageos unikernel ocaml arp address-resolution-protocol
OCaml
•
Other
•10•21•0•1•Updated Dec 17, 2024Dec 17, 2024
ocaml-solo5
Public
Freestanding OCaml runtime
mirageos ocaml
C
•
Other
•31•103•0•4•Updated Dec 17, 2024Dec 17, 2024
irmin
Public
Irmin is a distributed database that follows the same design principles as Git
git database storage ocaml mirageos irmin
OCaml
•
ISC License
•157•1.9k•118•17•Updated Dec 12, 2024Dec 12, 2024
mirage-skeleton
Public
Examples of simple MirageOS apps
examples ocaml mirageos unikernel
OCaml
•
The Unlicense
•94•227•3•4•Updated Dec 12, 2024Dec 12, 2024
charrua
Public
A DHCP library in OCaml
ocaml unikernel dhcp-server mirage dhcp-library
OCaml
•
ISC License
•18•55•2•3•Updated Dec 9, 2024Dec 9, 2024
ocaml-xenstore
Public
A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.
OCaml
•
Other
•21•8•5•0•Updated Dec 3, 2024Dec 3, 2024