Beast code in Giters

MirageOS's repositories

mirage

MirageOS is a library operating system that constructs unikernels

Language:OCamlISC2512 83 486

irmin

Irmin is a distributed database that follows the same design principles as Git

Language:OCamlISC1824 62 603

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

Language:OCamlNOASSERTION700 30 356

alcotest

A lightweight and colourful test framework

Language:OCamlISC446 24 128

ocaml-git

Pure OCaml Git format and protocol

Language:OCamlISC363 19 147

mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

Language:OCamlISC340 41 106

mirage-skeleton

Examples of simple MirageOS apps

Language:OCamlUnlicense224 29 63

qubes-mirage-firewall

A Mirage firewall VM for QubesOS

Language:OCaml207 31 88

mirage-www

Website infrastructure and content for mirage.io

Language:HTMLISC170 29 161

ocaml-dns

OCaml implementation of the DNS protocol

Language:OCamlBSD-2-Clause103 21 108

ocaml-solo5

Freestanding OCaml runtime

Language:CNOASSERTION101 25 24

capnp-rpc

Cap'n Proto RPC implementation

Language:OCamlNOASSERTION97 11 45

ocaml-uri

RFC3986 URI parsing library for OCaml

Language:OCamlNOASSERTION97 21 71

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

Language:OCamlISC84 23 116

mirage-crypto

Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

Language:CISC76 16 68

mirage-qubes

Mirage support for writing QubesOS AppVM unikernels

Language:OCamlBSD-2-Clause62 28 10

ocaml-tar

Pure OCaml library to read and write tar files

Language:OCamlISC54 19 28

eqaf

Constant time equal function to avoid timing attacks in OCaml

Language:OCamlMIT51 21 10

bechamel

Agnostic benchmark in OCaml (proof-of-concept)

Language:OCamlMIT44 5 13

index

A platform-agnostic multi-level index

Language:OCamlMIT34 24 49

ocaml-hex

Hexadecimal converter

Language:OCamlNOASSERTION29 11 8

ocaml-fsevents

macOS bindings to the FSEvents API

Language:OCamlISC16 9 1

ca-certs

Detect root CA certificates from the operating system

Language:OCamlISC15 11 12

irmin-watcher

Portable implementation of the Irmin Watch API

Language:OCamlISC15 21 5

mirage-dev

Development OPAM repository for work-in-progress packages

15 20 7

either

Compatibility module for Either in OCaml 4.12

Language:OCamlMIT800

ocaml-dkim

DKIM support on e-mail

Language:OCamlMIT8 5 6

ocaml-xenstore

A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.

Language:OCamlNOASSERTION800

ca-certs-nss

CA certificates extracted from NSS, to be used with MirageOS

Language:OCamlISC7 9 4

ocaml-cf

macOS bindings to CoreFoundation

Language:OCamlISC7 80