Awesome Open Source
Awesome Open Source
Combined Topics
mirageos x

The Top 142 Mirageos Open Source Projects

Categories > Operating Systems > Mirageos
Unik ⭐ 2,345
The Unikernel & MicroVM Compilation and Deployment Platform
most recent commit 2 years ago
Mirage ⭐ 1,933
MirageOS is a library operating system that constructs unikernels
most recent commit 17 days ago
Irmin ⭐ 1,621
Irmin is a distributed database that follows the same design principles as Git
total releases 2most recent commit 4 days ago
Solo5 ⭐ 760
A sandboxed execution environment for unikernels
most recent commit 4 days ago
Mirage Tcpip ⭐ 307
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
most recent commit 19 days ago
Jitsu ⭐ 292
A DNS server that automatically starts unikernels on demand
most recent commit 6 years ago
Ocaml Tls ⭐ 268
TLS in pure OCaml
most recent commit 16 days ago
Ocaml H2 ⭐ 243
An HTTP/2 implementation written in pure OCaml
most recent commit 3 days ago
Restack ⭐ 229
Full Stack ReasonML Tutorials
most recent commit a year ago
Mirage Skeleton ⭐ 191
Examples of simple MirageOS apps
most recent commit 6 days ago
Qubes Mirage Firewall ⭐ 164
A Mirage firewall VM for QubesOS
most recent commit 7 months ago
Mirage Www ⭐ 157
Website infrastructure and content for mirage.io
most recent commit a month ago
Albatross ⭐ 104
Albatross: orchestrate and manage MirageOS unikernels with Solo5
most recent commit 3 months ago
Canopy ⭐ 99
A git-blogging unikernel written using MirageOS
most recent commit a year ago
Awa Ssh ⭐ 96
Purely functional SSH library in ocaml.
most recent commit 2 months ago
Ocaml Dns ⭐ 93
OCaml implementation of the DNS protocol
most recent commit 20 days ago
Ocaml Solo5 ⭐ 87
Freestanding OCaml runtime
most recent commit 2 months ago
Tlstunnel Lwt ⭐ 79
TLS tunnel -- an alternative to stud / stunnel
most recent commit 2 years ago
Digestif ⭐ 78
Simple hash algorithms in OCaml
most recent commit a month ago
Pasteur ⭐ 57
Paste-eur as unikernel
most recent commit 3 months ago
Awesome Unikernels ⭐ 56
A list about Unikernels
most recent commit 2 years ago
Lookma ⭐ 55
Demos for Look Ma, no OS!
most recent commit 7 years ago
Charrua ⭐ 55
A DHCP library in OCaml
most recent commit 5 months ago
Mirage Crypto ⭐ 55
Cryptographic primitives for MirageOS
most recent commit a month ago
Udns ⭐ 54
[deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library
most recent commit 3 years ago
Unipi ⭐ 53
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
most recent commit 7 days ago
Opam Rumprun ⭐ 50
OCaml 4.02 cross compiler for the rumprun unikernel stack
most recent commit 7 years ago
Prometheus ⭐ 44
OCaml library for reporting metrics to a Prometheus server
most recent commit 17 days ago
Openvpn ⭐ 41
An opinionated implementation of the OpenVPN protocol
most recent commit 7 months ago
Ocaml X509 ⭐ 38
X509 (RFC5280) handling in OCaml
most recent commit 6 months ago
Conan ⭐ 38
Like detective conan, find clue about the type of the file
most recent commit 4 months ago
Unikernels ⭐ 30
MirageOS unikernels
most recent commit 2 years ago
Bloomf ⭐ 30
Bloomf - Efficient Bloom filters for OCaml
most recent commit 9 months ago
Keyfender ⭐ 30
Secure HSM implementation based on MirageOS
most recent commit 4 years ago
Simple Nat ⭐ 29
Demonstration NATting unikernel.
most recent commit 6 years ago
Rekernel ⭐ 28
A minimal setup for writing Unikernels in ReasonML
most recent commit 2 years ago
Mirage Nat ⭐ 28
library for network address translation intended for use with mirage unikernels
most recent commit 8 months ago
Cunik Engine ⭐ 27
The engine of Cunik.
most recent commit 4 years ago
Ocaml Matrix ⭐ 25
[WIP] Implementation of a matrix server in OCaml for MirageOS
most recent commit 7 months ago
Hxd ⭐ 24
J'ai plus mal à la tête maintenant
most recent commit 5 months ago
Mirage Examples ⭐ 23
Work-in-Progress collection of examples of using MirageOS from OCaml
most recent commit 5 years ago
Ocaml Pcap ⭐ 23
OCaml code for generating and analysing pcap (packet capture) files
most recent commit 4 months ago
Ocurrent Deployer ⭐ 20
A pipeline that deploys unikernels and other services
most recent commit 24 days ago
Tlstunnel ⭐ 19
A TLS reverse proxy unikernel
most recent commit 7 months ago
Mirage Clock ⭐ 18
Portable clock implementation for Unix and Xen
most recent commit 5 months ago
Arp ⭐ 18
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
most recent commit 8 months ago
Mirage Solo5 ⭐ 18
Solo5 core platform libraries for MirageOS
most recent commit 22 days ago
Mirage Tutorial ⭐ 17
MirageOS tutorial notebooks using IOCaml
most recent commit 5 years ago
Ocaml Vmnet ⭐ 17
NATed networking on MacOS X using the vmnet framework
most recent commit 3 years ago
Mirage Xen ⭐ 17
Xen core platform libraries for MirageOS
most recent commit 22 days ago
Mirage Ci ⭐ 17
Continuous Integration for MirageOS using DataKit's git workflow
most recent commit 2 years ago
Traceroute ⭐ 17
MirageOS traceroute unikernel
most recent commit 6 days ago
Docteur ⭐ 16
An opiniated file-system for MirageOS
most recent commit 2 months ago
Mirage Lambda ⭐ 16
An eDSL for MirageOS apps
most recent commit 4 years ago
Mirage Framebuffer ⭐ 15
Experimental portable bitmap framebuffer graphics for MirageOS
most recent commit 2 years ago
Mirage Handbook ⭐ 14
WIP Handbook for MirageOS
most recent commit 4 years ago
Mirage Fs Unix ⭐ 14
Unix Filesystem passthrough for MirageOS
most recent commit 3 years ago
Mirage Decks ⭐ 14
These are the MirageOS slide decks, written as a self-hosting unikernel
most recent commit 5 years ago
Eye Of Mirage ⭐ 14
WiP image viewer using MirageOS
most recent commit 3 years ago
Contruno ⭐ 13
A TLS termination proxy as a MirageOS
most recent commit 25 days ago
Chill Netcat ⭐ 13
UDP-only netcat implementation with OCaml / MirageOS
most recent commit 5 years ago
Dns Primary Git ⭐ 13
A MirageOS unikernel acting as primary DNS server, data stored in a remote git repository
most recent commit 3 months ago
Dns Letsencrypt Secondary ⭐ 12
A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt
most recent commit 7 months ago
Kaamelottasaservice ⭐ 12
MirageOS application serving random Kaamelott quotation via HTTP - Running here
most recent commit 7 years ago
Mh ⭐ 12
Development moved to https://github.com/mhsys/mh
most recent commit 4 years ago
Loops Mirage ⭐ 12
Tutoriel MirageOS pour la 8e journée LoOPS
most recent commit 7 years ago
Mirage Dashboard ⭐ 12
A dashboard displaying useful data from MirageOS project and its related repositories.
most recent commit 6 years ago
Mirage_iperf ⭐ 12
iperf like tool on MirageOS
most recent commit 4 months ago
Mirage Xmpp ⭐ 12
Implementation of XMPP for MirageOS
most recent commit 3 years ago
Spectrum Desolate ⭐ 12
🕹️ Ported Desolate game from TI-83 Plus to ZX Spectrum
most recent commit a year ago
Mirage Fs ⭐ 11
Filesystem and block libraries for Mirage
most recent commit 9 months ago
Mirage Protocols ⭐ 10
Network protocol module type definitions for MirageOS
most recent commit 8 months ago
Mirage Net Macosx ⭐ 10
MacOS X implementation of the Mirage NETWORK interface
most recent commit 5 months ago
Eurosys21 Artifacts ⭐ 10
Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Paper Award).
most recent commit a year ago
Ocaml Unix Errno ⭐ 10
Unix errno types, maps, and support for OCaml
most recent commit 3 years ago
Mirage Block Unix ⭐ 10
Unix implementation of the Mirage_types.BLOCK interface
most recent commit 2 months ago
Mirage Entropy ⭐ 10
Entropy driver for MirageOS -- this has been imported into https://github.com/mirage/mirage-crypto
most recent commit 2 years ago
Functoria Lua ⭐ 9
Building Lua interpreters with lot's of functors
most recent commit 4 years ago
Qemu Solo5 Mirage Rpi3 ⭐ 9
An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3
most recent commit 6 years ago
Mirage Monitoring ⭐ 9
mirror of https://git.robur.io/robur/mirage-monitoring
most recent commit 6 days ago
Mirage Bootvar Xen ⭐ 9
Library for reading MirageOS unikernel boot parameters in Xen
most recent commit 8 months ago
Mirage Http ⭐ 9
HTTP combinators for MirageOS
most recent commit 3 years ago
Farfadet ⭐ 8
A printf-like for Faraday library
most recent commit 4 years ago
Mirage Kv ⭐ 8
MirageOS signature for key/value stores
most recent commit 6 months ago
Mirage Stack ⭐ 8
Network stack module type definitions for MirageOS
most recent commit 8 months ago
Mirage_pingpong ⭐ 7
A ping-pong latency measurement tool on MirageOS
most recent commit 4 months ago
Dns Secondary ⭐ 7
A MirageOS unikernel acting as a secondary DNS server
most recent commit 6 days ago
Mirage Time ⭐ 7
Time signatures for MirageOS
most recent commit 9 months ago
Tick ⭐ 7
Best-effort monotonic ticks for MirageOS (unreleased, design experiment)
most recent commit 7 years ago
Polyglot ⭐ 7
Conversion tool and OCaml library for polyglot HTML5/XML
most recent commit 7 years ago
Garethr Mirageos ⭐ 7
Puppet module to install Mirage and it's dependencies
most recent commit 7 years ago
Mirage Ocra Demo ⭐ 7
A demo of RFC 6287 / OCRA using MirageOS on QubesOS
most recent commit 3 years ago
Mirage Flow ⭐ 7
Flow implementations for Mirage
most recent commit 9 months ago
Logs Syslog ⭐ 7
Emit Logs via syslog
most recent commit 8 months ago
Mirage Esp32 Notes ⭐ 7
Notes I took about my uses of the esp32 portage of mirageOS by @well-typed-lightbulbs
most recent commit 4 years ago
Mirage Shell ⭐ 7
Basic shell built on top of Mirage
most recent commit 4 years ago
Usane ⭐ 7
Unsigned integers for OCaml
most recent commit 5 years ago
Docs ⭐ 7
docs.mirage.io generation scripts
most recent commit 2 years ago
Statmemprof Mirage ⭐ 6
Statistical memory profiling for MirageOS
most recent commit 3 years ago
Ocaml Dns Examples ⭐ 6
introduction to ocaml-dns for MirageOS
most recent commit 7 years ago
1-100 of 142 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 71
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 343
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 115
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,074,790)
Python  (822,298)
Java  (392,428)
Php  (287,754)
Typescript  (256,104)
C Plus Plus  (242,247)
Ruby  (222,171)
C  (183,843)
Shell  (173,361)
C Sharp  (166,679)
Golang  (160,962)
Swift  (65,949)
Rust  (59,637)
R  (58,808)
Objective C  (57,105)
Dart  (54,294)
Kotlin  (47,779)
Lua  (34,708)
Matlab  (31,447)
Perl  (30,578)
Language  (29,991)
Scala  (28,790)
Haskell  (20,504)
Powershell  (19,304)
Clojure  (19,191)
Bash  (18,790)
Coffeescript  (17,256)
Elixir  (16,797)
Assembly  (14,780)
Processing  (13,286)
Julia  (13,036)
Basic  (10,715)
Flow  (10,536)
Emacs Lisp  (10,476)
Erlang  (9,064)
Groovy  (8,465)
Scheme  (8,415)
Solidity  (8,413)
Ocaml  (6,751)
Pascal  (6,487)
Hack  (6,440)
Lisp  (6,338)
Fortran  (5,594)
Elm  (5,476)
Common Lisp  (5,325)
Dlang  (4,748)
Shell Script  (4,691)
Python Library  (4,468)
Crystal  (4,397)
Scripting  (4,219)
Top Projects
Freecodecamp ⭐ 351,338
996.icu ⭐ 263,365
Free Programming Books ⭐ 244,751
Coding Interview University ⭐ 229,270
Awesome ⭐ 214,149
Developer Roadmap ⭐ 206,273
Public Apis ⭐ 205,228
Vue ⭐ 198,604
React ⭐ 193,176
System Design Primer ⭐ 191,492
Tensorflow ⭐ 167,093
Build Your Own X ⭐ 160,771
Bootstrap ⭐ 158,964
You Dont Know Js ⭐ 157,194
Cs Notes ⭐ 155,369
Ohmyzsh ⭐ 148,812
Javascript Algorithms ⭐ 147,551
Flutter ⭐ 143,564
Python ⭐ 141,995
Awesome Python ⭐ 137,284
Gitignore ⭐ 137,038
Linux ⭐ 136,239
Vscode ⭐ 135,341
Javaguide ⭐ 126,205
Javascript ⭐ 125,450
Python 100 Days ⭐ 122,176
Computer Science ⭐ 121,209
Youtube Dl ⭐ 112,304
The Art Of Command Line ⭐ 108,745
Fucking Algorithm ⭐ 108,035
React Native ⭐ 104,263
Electron ⭐ 103,062
Go ⭐ 102,748
D3 ⭐ 101,796
30 Seconds Of Code ⭐ 100,507
Awesome Selfhosted ⭐ 98,330
Create React App ⭐ 96,436
Axios ⭐ 95,087
Free Programming Books Zh_cn ⭐ 94,901
Kubernetes ⭐ 91,117
Next.js ⭐ 91,045
Node ⭐ 89,478
Awesome Go ⭐ 85,662
Terminal ⭐ 84,688
Deno ⭐ 84,529
Three.js ⭐ 84,381
Angular ⭐ 83,212
Typescript ⭐ 83,200
Ant Design ⭐ 81,414
Material Ui ⭐ 80,452
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2022 Awesome Open Source.  All rights reserved.