GitHub topics: mirageos
mirage/irmin
Irmin is a distributed database that follows the same design principles as Git
Language: OCaml - Size: 54.9 MB - Last synced at: about 3 hours ago - Pushed at: about 1 month ago - Stars: 1,880 - Forks: 159
mirage/awa-ssh
Purely functional SSH library in ocaml.
Language: OCaml - Size: 1.4 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 103 - Forks: 13
mirage/mirage
MirageOS is a library operating system that constructs unikernels
Language: OCaml - Size: 29.6 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 2,654 - Forks: 253
mirage/ocaml-dns
OCaml implementation of the DNS protocol
Language: OCaml - Size: 5.33 MB - Last synced at: 5 days ago - Pushed at: 10 days ago - Stars: 106 - Forks: 43
Nitrokey/nethsm
Nitrokey NetHSM system software and firmware
Language: OCaml - Size: 3.03 MB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 65 - Forks: 5
mirleft/ocaml-x509
X509 (RFC5280) handling in OCaml
Language: OCaml - Size: 2.02 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 52 - Forks: 34
mirage/mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
Language: OCaml - Size: 27.5 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 344 - Forks: 87
mirage/bloomf
Efficient Bloom filters for OCaml
Language: OCaml - Size: 68.4 KB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 37 - Forks: 6
robur-coop/albatross
Albatross: orchestrate and manage MirageOS unikernels with Solo5
Language: OCaml - Size: 1.07 MB - Last synced at: 1 day ago - Pushed at: 14 days ago - Stars: 151 - Forks: 18
Solo5/solo5
A sandboxed execution environment for unikernels
Language: C - Size: 2.41 MB - Last synced at: 12 days ago - Pushed at: about 2 months ago - Stars: 930 - Forks: 144
robur-coop/unikernels
MirageOS unikernels
Language: OCaml - Size: 156 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 52 - Forks: 6
mirage/prometheus
OCaml library for reporting metrics to a Prometheus server
Language: OCaml - Size: 156 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 53 - Forks: 28
mirage/qubes-mirage-firewall
A Mirage firewall VM for QubesOS
Language: OCaml - Size: 444 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 217 - Forks: 29
unikraft/eurosys21-artifacts
Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Paper Award).
Language: Assembly - Size: 65.4 MB - Last synced at: 15 days ago - Pushed at: almost 4 years ago - Stars: 27 - Forks: 11
mirage/mirage-skeleton
Examples of simple MirageOS apps
Language: OCaml - Size: 856 KB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 229 - Forks: 97
mirage/mirage-crypto
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
Language: C - Size: 9.08 MB - Last synced at: 21 days ago - Pushed at: about 1 month ago - Stars: 78 - Forks: 44
robur-coop/unipi
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
Language: OCaml - Size: 145 KB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 63 - Forks: 7
mirage/ocaml-solo5
Freestanding OCaml runtime
Language: C - Size: 860 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 103 - Forks: 31
robur-coop/dnsvizor
A DNSmasq-like MirageOS unikernel
Language: OCaml - Size: 77.1 KB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 24 - Forks: 0
robur-coop/tlstunnel
A TLS reverse proxy unikernel
Language: OCaml - Size: 52.7 KB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 36 - Forks: 2
robur-coop/miragevpn
An opinionated implementation of the OpenVPN protocol
Language: OCaml - Size: 2.57 MB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 79 - Forks: 9
mirage/mirage-unix
Unix core platform libraries for MirageOS
Language: OCaml - Size: 2.31 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 13 - Forks: 11
mirleft/ocaml-tls
TLS in pure OCaml
Language: OCaml - Size: 5.29 MB - Last synced at: 18 days ago - Pushed at: 3 months ago - Stars: 307 - Forks: 68
robur-coop/udns 📦
[deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library
Language: OCaml - Size: 2.87 MB - Last synced at: 1 day ago - Pushed at: almost 6 years ago - Stars: 55 - Forks: 5
robur-coop/mirage-monitoring
mirror of https://git.robur.coop/robur/mirage-monitoring
Language: OCaml - Size: 428 KB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 13 - Forks: 1
hannesm/logs-syslog
Emit Logs via syslog
Language: OCaml - Size: 793 KB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 9 - Forks: 3
mirage/mirage-xen
Xen core platform libraries for MirageOS
Language: C - Size: 3.12 MB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 18 - Forks: 21
mirage/mirage-solo5
Solo5 core platform libraries for MirageOS
Language: OCaml - Size: 2.17 MB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 20 - Forks: 21
mirage/arp
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
Language: OCaml - Size: 845 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 21 - Forks: 10
infoslack/awesome-unikernels
A list about Unikernels
Size: 10.7 KB - Last synced at: about 16 hours ago - Pushed at: over 1 year ago - Stars: 113 - Forks: 15
dinosaure/contruno
A TLS termination proxy as a MirageOS
Language: OCaml - Size: 172 KB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 12 - Forks: 2
hannesm/tlstunnel-lwt
TLS tunnel -- an alternative to stud / stunnel
Language: OCaml - Size: 135 KB - Last synced at: 10 days ago - Pushed at: about 2 years ago - Stars: 84 - Forks: 7
mirage/ethernet
Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml
Language: OCaml - Size: 551 KB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 10 - Forks: 7
hannesm/telnet
telnet protocol in OCaml
Language: OCaml - Size: 66.4 KB - Last synced at: 26 days ago - Pushed at: over 8 years ago - Stars: 14 - Forks: 2
cfcs/mirage-framebuffer
Experimental portable bitmap framebuffer graphics for MirageOS
Language: OCaml - Size: 126 KB - Last synced at: 17 days ago - Pushed at: almost 5 years ago - Stars: 17 - Forks: 2
mirage/ocaml-pcap
OCaml code for generating and analysing pcap (packet capture) files
Language: OCaml - Size: 196 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 21 - Forks: 13
cfcs/eye-of-mirage
WiP image viewer using MirageOS
Language: OCaml - Size: 13.7 KB - Last synced at: 17 days ago - Pushed at: over 5 years ago - Stars: 18 - Forks: 2
dinosaure/docteur
An opiniated file-system for MirageOS
Language: OCaml - Size: 938 KB - Last synced at: 24 days ago - Pushed at: 8 months ago - Stars: 26 - Forks: 1
mirage/mirage-random 📦
archived - please use mirage-crypto-rng-mirage instead. Random-related devices for MirageOS
Language: OCaml - Size: 633 KB - Last synced at: 5 days ago - Pushed at: 8 months ago - Stars: 6 - Forks: 5
abbysmal/Canopy
A git-blogging unikernel written using MirageOS
Language: OCaml - Size: 980 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 120 - Forks: 27
smorimoto/rekernel
A minimal setup for writing Unikernels in ReasonML
Language: Makefile - Size: 163 KB - Last synced at: 26 days ago - Pushed at: about 5 years ago - Stars: 30 - Forks: 1
mikelangelo-project/unik Fork of solo-io/unik
The Unikernel Compilation and Deployment Platform
Language: Go - Size: 53.5 MB - Last synced at: 10 months ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 0
Psi-Prod/Mehari
A cross-platform library for building Gemini servers
Language: OCaml - Size: 363 KB - Last synced at: 5 months ago - Pushed at: 11 months ago - Stars: 37 - Forks: 3
mato/flathead Fork of ericlippert/flathead
A port of Eric Lippert's flathead Z-machine interpreter to MirageOS
Language: OCaml - Size: 436 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 11 - Forks: 2
ilackarms/unik
The Unikernel Compilation and Deployment Platform
Language: Go - Size: 36.1 MB - Last synced at: about 1 month ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 0
jeffa5/mirage-xmpp
Implementation of XMPP for MirageOS
Language: OCaml - Size: 729 KB - Last synced at: 21 days ago - Pushed at: about 6 years ago - Stars: 15 - Forks: 1
Psi-Prod/Vicer
Our Gemini server as a MirageOS unikernel
Language: OCaml - Size: 40 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 1
ansiwen/unitang
MirageOS (Ocaml Unikernel) implementation of a tang server
Language: OCaml - Size: 36.1 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
hannesm/ns.nqsb.io 📦
NQSB.IO name server
Language: OCaml - Size: 24.4 KB - Last synced at: 5 months ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 0
gpetiot/mirage-shell 📦
Basic shell built on top of Mirage (experimental! do not use!)
Language: OCaml - Size: 18.6 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0
keyfender/keyfender 📦
Secure HSM implementation based on MirageOS
Language: OCaml - Size: 321 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 33 - Forks: 1
ahf/ircd-scylla
MirageOS IRC daemon.
Language: OCaml - Size: 21.5 KB - Last synced at: 10 days ago - Pushed at: about 7 years ago - Stars: 14 - Forks: 2
tmattio/mirage-demo
Demo of an HTTP server built with MirageOS, deployed on GCP
Language: HCL - Size: 2.87 MB - Last synced at: about 7 hours ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0
hannesm/mirageos-bobkonf2019-tutorial
MirageOS unikernels used for bobkonf 2019 tutorial
Language: OCaml - Size: 16.6 KB - Last synced at: 25 days ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 0
musha68k/chill-netcat
UDP-only netcat implementation with OCaml / MirageOS
Language: OCaml - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 14 - Forks: 0
zshipko/qq
A message queue for MirageOS
Language: OCaml - Size: 27.3 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0
patricoferris/mirage-site
A personal MirageOS Unikernel Website built with Irmin and Netlify CMS
Language: OCaml - Size: 1.17 MB - Last synced at: 29 days ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
mirage/mirage-propaganda
Propaganda
Size: 24.4 KB - Last synced at: 5 days ago - Pushed at: about 7 years ago - Stars: 11 - Forks: 2
rand00/mirage_hands-on
Unikernel-code and information to get up and running with MirageOS
Language: OCaml - Size: 73.2 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 0
cfcs/mirage-ocra-demo
A demo of RFC 6287 / OCRA using MirageOS on QubesOS
Language: OCaml - Size: 7.81 KB - Last synced at: 17 days ago - Pushed at: about 6 years ago - Stars: 7 - Forks: 1
cfcs/mirage-examples
Work-in-Progress collection of examples of using MirageOS from OCaml
Language: OCaml - Size: 6.84 KB - Last synced at: 17 days ago - Pushed at: over 7 years ago - Stars: 23 - Forks: 1
cfcs/ocaml-poly1305
MirageOS-friendly bindings to Poly1305 C-stubs from WireGuard
Language: C - Size: 11.7 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
PerfDriver/Store-Microcontainer
Docker Microcontainer Store
Language: PHP - Size: 12.2 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
skilbjo/mirage-os
Deploy your app as part of a minimalist operating system.
Language: OCaml - Size: 1.47 MB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
