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,698 commits to main branch, last one 8 days ago
Irmin is a distributed database that follows the same design principles as Git
Created
2013-04-22
5,615 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 3 months 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,534 commits to main branch, last one 11 days ago
TLS in pure OCaml
Created
2014-02-13
2,041 commits to main branch, last one about a month ago
Examples of simple MirageOS apps
Created
2012-12-15
954 commits to main branch, last one about a month ago
A Mirage firewall VM for QubesOS
Created
2015-12-30
399 commits to main branch, last one 27 days ago
Albatross: orchestrate and manage MirageOS unikernels with Solo5
Created
2017-07-09
618 commits to main branch, last one about a month 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,568 commits to main branch, last one about a month ago
Freestanding OCaml runtime
Created
2016-05-25
421 commits to main branch, last one about a month ago
Purely functional SSH library in ocaml.
Created
2016-08-15
624 commits to main branch, last one about a month 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 3 months ago
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
Created
2020-02-05
1,508 commits to main branch, last one 18 hours 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 3 months ago
Nitrokey NetHSM system software and firmware
Created
2023-11-27
79 commits to main branch, last one 15 days ago
X509 (RFC5280) handling in OCaml
Created
2014-06-12
736 commits to main branch, last one about a month ago
OCaml library for reporting metrics to a Prometheus server
Created
2017-02-03
111 commits to master branch, last one 9 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 8 months ago