21 results found Sort:
- Filter by Primary Language:
- OCaml (17)
- C (3)
- +
MirageOS is a library operating system that constructs unikernels
Created
2009-12-04
3,616 commits to main branch, last one 2 days ago
Irmin is a distributed database that follows the same design principles as Git
Created
2013-04-22
5,557 commits to main branch, last one 7 months ago
A sandboxed execution environment for unikernels
Created
2015-12-10
1,130 commits to master branch, last one about a month ago
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
Created
2012-06-20
4,525 commits to main branch, last one 2 days ago
TLS in pure OCaml
Created
2014-02-13
1,997 commits to main branch, last one 18 days ago
Examples of simple MirageOS apps
Created
2012-12-15
934 commits to main branch, last one 15 days ago
A Mirage firewall VM for QubesOS
Created
2015-12-30
355 commits to main branch, last one 20 days ago
Albatross: orchestrate and manage MirageOS unikernels with Solo5
Created
2017-07-09
561 commits to main branch, last one 23 days ago
A git-blogging unikernel written using MirageOS
Created
2016-03-10
270 commits to master branch, last one 3 years ago
A list about Unikernels
Created
2017-06-01
14 commits to master branch, last one 8 months ago
Purely functional SSH library in ocaml.
Created
2016-08-15
618 commits to main branch, last one 3 months ago
OCaml implementation of the DNS protocol
Created
2012-01-10
1,521 commits to main branch, last one 2 days ago
Freestanding OCaml runtime
Created
2016-05-25
307 commits to main branch, last one 22 hours ago
TLS tunnel -- an alternative to stud / stunnel
Created
2015-03-30
105 commits to master branch, last one 3 years ago
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
Created
2020-02-05
1,463 commits to main branch, last one 23 days ago
An opinionated implementation of the OpenVPN protocol
Created
2019-10-15
729 commits to main branch, last one 3 days ago
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
Created
2020-04-19
85 commits to main branch, last one 4 days ago
X509 (RFC5280) handling in OCaml
Created
2014-06-12
700 commits to main branch, last one 3 months ago
MirageOS unikernels
Created
2018-11-14
96 commits to master branch, last one 3 years ago
Nitrokey NetHSM system software and firmware
Created
2023-11-27
27 commits to main branch, last one 24 days ago
A cross-platform library for building Gemini servers
Created
2022-11-05
301 commits to master branch, last one 10 months ago