There are no reviews yet. Be the first to send feedback to the community and the maintainers!
mirage
MirageOS is a library operating system that constructs unikernelsirmin
Irmin is a distributed database that follows the same design principles as Gitocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Asyncalcotest
A lightweight and colourful test frameworkocaml-git
Pure OCaml Git format and protocolmirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.jitsu
A DNS server that automatically starts unikernels on demandmirage-skeleton
Examples of simple MirageOS appsqubes-mirage-firewall
A Mirage firewall VM for QubesOSmirage-www
Website infrastructure and content for mirage.iodecompress
Pure OCaml implementation of Zlib.ocaml-cow
Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.awa-ssh
Purely functional SSH library in ocaml.ocaml-cstruct
Map OCaml arrays onto C-like structsocaml-dns
OCaml implementation of the DNS protocolocaml-solo5
Freestanding OCaml runtimeocaml-github
GitHub APIv3 OCaml bindingscapnp-rpc
Cap'n Proto RPC implementationocaml-rpc
Light library to deal with RPCs in OCamlocaml-uri
RFC3986 URI parsing library for OCamldigestif
Simple hash algorithms in OCamlocaml-conduit
Dereference URIs into communication channels for Async or Lwtmirage-crypto
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)mirage-platform
Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.xen
Unofficial mirror of xenbits.xen.org/xen.gitocaml-crunch
Convert a filesystem into a static OCaml moduleocaml-9p
An OCaml/Mirage-friendly implementation of the 9P protocolfunctoria
A DSL to invoke otherworldly functorsmini-os
Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.gitmirage-qubes
Mirage support for writing QubesOS AppVM unikernelsxen-arm-builder
Archived - the Xen and ARM support in MirageOS has been superseeded by our PVH support - Build an SDcard image for Xen/ARM, for a Cubieboardcharrua
A DHCP library in OCamlorm
Object Relational Mapper extensionke
Fast implementation of queue in OCamleqaf
Constant time equal function to avoid timing attacks in OCamlprometheus
OCaml library for reporting metrics to a Prometheus serverocaml-matrix
Implementation of a matrix server in OCaml for MirageOSocaml-tar
Pure OCaml library to read and write tar filesocaml-vchan
Pure OCaml implementation of the "vchan" shared-memory communication protocolmetrics
Infrastructure to collect metrics from OCaml applications.bechamel
Agnostic benchmark in OCaml (proof-of-concept)wodan
A Mirage filesystem libraryocaml-base64
Base64 encoding and decoding in OCamlcolombe
Implementation of SMTP protocols in OCamlocaml-ipaddr
A library for manipulation of IP (and MAC) address representationsmrmime
What do you mean?ezjsonm
An easy interface on top of the Jsonm library.index
A platform-agnostic multi-level indexbloomf
Efficient Bloom filters for OCamlemile
& imagesmirage-nat
library for network address translation intended for use with mirage unikernelsrepr
ocaml-hex
Hexadecimal converterocaml-diet
A simple implementation of Discrete Interval Encoding Treesptt
Postes, Télégraphes et Téléphonesocaml-fat
Read and write FAT format filesystems from OCamlencore
Synonym of angkorocaml-magic-mime
Convert file extensions to MIME typesirmin-server
A high-performance server for Irminoptint
Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)ocaml-lazy-trie
Lazy prefix trees in OCamlqubes-mirage-skeleton
An example Mirage unikernel that runs as a Qubes AppVMocaml-pcap
OCaml code for generating and analysing pcap (packet capture) filesduff
Pure OCaml implementation of libXdiff (Rabin's fingerprint)hacl
Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curvesarp
Address resolution protocol (ARP) implementation in OCaml targeting MirageOSshared-memory-ring
Xen-style shared memory ringsirmin-rpc
RPC client/server for Irmintypebeat
Parsing of the Content-Type header in pure OCamlmirage-solo5
Solo5 core platform libraries for MirageOSocaml-tuntap
Bindings to UNIX tuntap facilitiesmirage-lambda
An eDSL for MirageOS appsmerge-queues
Mergeable queuesocaml-qcow
Pure OCaml code for parsing, printing, modifying .qcow format dataocaml-vmnet
NATed networking on MacOS X using the vmnet frameworkmirage-xen
Xen core platform libraries for MirageOSmirage-profile
Collect profiling informationcactus
A Btree library in OCamlmirage-clock
Portable clock implementation for Unix and Xenocaml-mbr
A simple library for manipulating Master Boot Recordsspamtacus
Ocaml modular spam filtermirage-dev
Development OPAM repository for work-in-progress packagesocaml-fsevents
macOS bindings to the FSEvents APImirage-fs-unix
Unix Filesystem passthrough for MirageOSmirage-vnetif
Virtual network interface and software bridge for Mirageirmin-rs
ocaml-hvsock
Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)ca-certs
Detect root CA certificates from the operating systemirmin-watcher
Portable implementation of the Irmin Watch APIcheckseum
mirage-handbook
WIP Handbook for MirageOSretreat.mirage.io
Microsite for the MirageOS hack retreatsmmap
File mappingmirage-decks
These are the MirageOS slide decks, written as a self-hosting unikernelezxmlm
Like the tax form, this is an easier interface for quick n dirty XMLM scriptsmirage-unix
Unix core platform libraries for MirageOSocaml-gpt
A simple library for manipulating GUID partition tablesirmin.org
Irmin websitemirage-console
Portable console handling for Mirage applicationsmirage-net-xen
Xen Netfront and Netback ethernet device drivers for MirageLove Open Source and this site? Check out how you can help us