22 results found Sort:

253
2.6k
isc
87
MirageOS is a library operating system that constructs unikernels
Created 2009-12-04
3,698 commits to main branch, last one 8 days ago
157
1.9k
isc
62
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
143
922
isc
49
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
68
304
bsd-2-clause
25
TLS in pure OCaml
Created 2014-02-13
2,041 commits to main branch, last one about a month ago
94
227
unlicense
28
Examples of simple MirageOS apps
Created 2012-12-15
954 commits to main branch, last one about a month ago
28
214
bsd-2-clause
31
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
27
120
isc
19
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
43
105
bsd-2-clause
21
OCaml implementation of the DNS protocol
Created 2012-01-10
1,568 commits to main branch, last one about a month ago
31
103
other
26
Freestanding OCaml runtime
Created 2016-05-25
421 commits to main branch, last one about a month ago
12
103
isc
22
Purely functional SSH library in ocaml.
Created 2016-08-15
624 commits to main branch, last one about a month ago
7
84
bsd-2-clause
12
TLS tunnel -- an alternative to stud / stunnel
Created 2015-03-30
105 commits to master branch, last one 4 years ago
9
79
bsd-2-clause
12
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
7
63
unknown
6
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
5
63
eupl-1.2
5
Nitrokey NetHSM system software and firmware
Created 2023-11-27
79 commits to main branch, last one 15 days ago
34
52
bsd-2-clause
13
X509 (RFC5280) handling in OCaml
Created 2014-06-12
736 commits to main branch, last one about a month ago
27
52
apache-2.0
17
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
3
37
lgpl-3.0
1
A cross-platform library for building Gemini servers
Created 2022-11-05
318 commits to master branch, last one 8 months ago