22 results found Sort:
- Filter by Primary Language:
- OCaml (18)
- C (3)
- +
MirageOS is a library operating system that constructs unikernels
Created
2009-12-04
3,691 commits to main branch, last one 5 days ago
Irmin is a distributed database that follows the same design principles as Git
Created
2013-04-22
5,608 commits to main branch, last one about a month ago
A sandboxed execution environment for unikernels
Created
2015-12-10
1,163 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,532 commits to main branch, last one 3 months ago
TLS in pure OCaml
Created
2014-02-13
2,039 commits to main branch, last one 23 days ago
Examples of simple MirageOS apps
Created
2012-12-15
953 commits to main branch, last one about a month ago
A Mirage firewall VM for QubesOS
Created
2015-12-30
389 commits to main branch, last one about a month ago
Albatross: orchestrate and manage MirageOS unikernels with Solo5
Created
2017-07-09
615 commits to main branch, last one 19 hours 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 about a year ago
OCaml implementation of the DNS protocol
Created
2012-01-10
1,565 commits to main branch, last one 17 days ago
Purely functional SSH library in ocaml.
Created
2016-08-15
623 commits to main branch, last one 2 months ago
Freestanding OCaml runtime
Created
2016-05-25
311 commits to main branch, last one 5 days ago
TLS tunnel -- an alternative to stud / stunnel
Created
2015-03-30
105 commits to master branch, last one 4 years ago
An opinionated implementation of the OpenVPN protocol
Created
2019-10-15
821 commits to main branch, last one about a month ago
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
Created
2020-02-05
1,496 commits to main branch, last one about a month ago
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
Created
2020-04-19
91 commits to main branch, last one about a month ago
Nitrokey NetHSM system software and firmware
Created
2023-11-27
69 commits to main branch, last one 12 days ago
X509 (RFC5280) handling in OCaml
Created
2014-06-12
735 commits to main branch, last one 23 days ago
OCaml library for reporting metrics to a Prometheus server
Created
2017-02-03
111 commits to master branch, last one 7 months ago
MirageOS unikernels
Created
2018-11-14
96 commits to master branch, last one 4 years ago
A cross-platform library for building Gemini servers
Created
2022-11-05
318 commits to master branch, last one 5 months ago