8000 mirage repositories · GitHub

More Web Proxy on the site http://driver.im/

MirageOS

All

209 repositories

dream
Public
Tidy, feature-complete Web framework
OCaml
•
MIT License
•146•0•0•1•Updated May 17, 2025May 17, 2025
awa-ssh
Public
Purely functional SSH library in ocaml.
ssh security cryptography pure mirageos mirage ocaml ssh-library awa-ssh
OCaml
•
ISC License
•13•103•4•0•Updated May 16, 2025May 16, 2025
ocaml-unikraft
Public
OCaml cross-compiler to freestanding Unikraft backends
Makefile
•
MIT License
•0•1•0•0•Updated May 15, 2025May 15, 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
•44•78•19•2•Updated May 15, 2025May 15, 2025
ocaml-git
Public
Pure OCaml Git format and protocol
git ocaml
OCaml
•
ISC License
•69•364•13•6•Updated May 14, 2025May 14, 2025
mirage
Public
MirageOS is a library operating system that constructs unikernels
linux xen ocaml opam kvm mirageos unikernel
OCaml
•
ISC License
•254•2.7k•47•8•Updated May 14, 2025May 14, 2025
mirage-unikraft
Public
Unikraft core platform libraries for MirageOS
OCaml
•
MIT License
•0•2•0•0•Updated May 13, 2025May 13, 2025
unikraft
Public
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
C
•
Other
•1.5k•1•0•0•Updated May 12, 2025May 12, 2025
unikraft-lib-musl
Public
musl: A C standard library
C
•
Other
•31•0•0•0•Updated May 12, 2025May 12, 2025
mirage-net-unikraft
Public
Unikraft implementation of MirageOS network interface
C
•
BSD 3-Clause "New" or "Revised" License
•0•3•0•0•Updated May 12, 2025May 12, 2025
mirage-block-unikraft
Public
Unikraft implementation of MirageOS block interface
C
•
BSD 3-Clause "New" or "Revised" License
•0•2•0•0•Updated May 12, 2025May 12, 2025
ocaml-dns
Public
OCaml implementation of the DNS protocol
dns mirageos unikernel ocaml
OCaml
•
BSD 2-Clause "Simplified" License
•43•106•25•4•Updated May 9, 2025May 9, 2025
uspf
Public
SPF verifier and signer in OCaml
OCaml
•
MIT License
•1•10•2•0•Updated May 1, 2025May 1, 2025
ocaml-dkim
Public
DKIM support on e-mail
OCaml
•
MIT License
•1•11•3•0•Updated Apr 30, 2025Apr 30, 2025
lwt-dllist
Public
Mutable doubly-linked list with Lwt iterators
OCaml
•
MIT License
•5•6•0•1•Updated Apr 28, 2025Apr 28, 2025
ezjsonm
Public
An easy interface on top of the Jsonm library.
OCaml
•
Other
•23•41•3•2•Updated Apr 28, 2025Apr 28, 2025
digestif
Public
Simple hash algorithms in OCaml
c hash md5 blake2b sha1 sha256 sha512 sha384 sha224 ocaml
OCaml
•
MIT License
•27•89•6•0•Updated Apr 17, 2025Apr 17, 2025
ca-certs
Public
Detect root CA certificates from the operating system
OCaml
•
ISC License
•13•14•1•0•Updated Apr 15, 2025Apr 15, 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•344•24•5•Updated Apr 15, 2025Apr 15, 2025
conan
Public
Like detective conan, find clue about the type of the file
file mime
OCaml
•
Other
•7•52•2•1•Updated Apr 14, 2025Apr 14, 2025
dns-resolver
Public
OCaml
•2•7•1•0•Updated Apr 14, 2025Apr 14, 2025
ca-certs-nss
Public
CA certificates extracted from NSS, to be used with MirageOS
OCaml
•
ISC License
•2•6•2•0•Updated Apr 8, 2025Apr 8, 2025
colombe
Public
Implementation of SMTP protocols in OCaml
OCaml
•
MIT License
•6•44•1•0•Updated Apr 1, 2025Apr 1, 2025
qubes-mirage-firewall
Public
A Mirage firewall VM for QubesOS
ocaml mirageos firewall unikernel qubesos
OCaml
•
BSD 2-Clause "Simplified" License
•29•220•10•1•Updated Mar 20, 2025Mar 20, 2025
irmin
Public
Irmin is a distributed database that follows the same design principles as Git
git database storage ocaml mirageos irmin
OCaml
•
ISC License
•159•1.9k•118•17•Updated Mar 19, 2025Mar 19, 2025
index
Public
A platform-agnostic multi-level index
OCaml
•
MIT License
•21•33•24•10•Updated Mar 18, 2025Mar 18, 2025
alcotest
Public
A lightweight and colourful test framework
unit-testing ocaml
OCaml
•
ISC License
•82•478•42•8•Updated Mar 18, 2025Mar 18, 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•736•87•10•Updated Mar 17, 2025Mar 17, 2025
ocaml-rpc
Public
Light library to deal with RPCs in OCaml
OCaml
•
ISC License
•32•97•6•6•Updated Mar 14, 2025Mar 14, 2025
ocaml-solo5
Public
Freestanding OCaml runtime
mirageos ocaml
C
•
Other
•31•104•0•1•Updated Mar 13, 2025Mar 13, 2025

0