|
|
OCaml |
48 |
MirageOS unikernels |
Mar 28, 2023 |
|
|
OCaml |
15 |
Small example MirageOS unikernels. |
May 02, 2022 |
|
|
OCaml |
126 |
Albatross: orchestrate and manage MirageOS unikernels with Solo5 |
Apr 09, 2023 |
|
|
OCaml |
2111 |
MirageOS is a library operating system that constructs unikernels |
Apr 26, 2023 |
|
|
OCaml |
5 |
This project ships two MirageOS unikernels to keep track of my server which has a … |
Feb 03, 2022 |
|
|
None |
81 |
A list about Unikernels |
Jul 27, 2022 |
|
|
OCaml |
6 |
Build MirageOS network interfaces on top of MirageOS flows |
Apr 29, 2020 |
|
|
OCaml |
18 |
MirageOS traceroute unikernel |
Mar 28, 2023 |
|
|
C |
48 |
MirageOS on RPi4 |
Oct 11, 2022 |
|
|
Nix |
7 |
building mirage unikernels with nix |
Sep 29, 2022 |
|
|
OCaml |
16 |
Memtrace library for MirageOS |
Mar 28, 2023 |
|
|
C |
65 |
Cryptographic primitives for MirageOS |
Apr 15, 2023 |
|
|
None |
14 |
WIP Handbook for MirageOS |
Sep 25, 2018 |
|
|
OCaml |
11 |
HTTP combinators for MirageOS |
Sep 14, 2021 |
|
|
OCaml |
8 |
Network devices for MirageOS |
Nov 15, 2021 |
|
|
OCaml |
2 |
List of MirageOS repositories |
Feb 15, 2022 |
|
|
OCaml |
8 |
Time signatures for MirageOS |
Nov 15, 2021 |
|
|
Go |
8 |
CloudFoundry Buildpack for Building & Running Unikernels |
Nov 13, 2017 |
|
|
Go |
1008 |
ops - build and run nanos unikernels |
Aug 11, 2022 |
|
|
Haskell |
75 |
Tool for uploading unikernels into EC2 |
Sep 13, 2022 |
|
|
C |
815 |
A sandboxed execution environment for unikernels |
Apr 24, 2023 |
|
|
None |
173 |
State of the art for unikernels |
Aug 23, 2022 |
|
|
OCaml |
6 |
TCP connection starter for Mirage unikernels |
Jan 28, 2023 |
|
|
OCaml |
10 |
ah yes, effect handlers in unikernels |
May 19, 2023 |
|
|
OCaml |
29 |
Sealing local directories into Mirage Unikernels |
Oct 17, 2020 |
|
|
OCaml |
8 |
Ocurrent-based CI for MirageOS |
May 02, 2022 |
|
|
OCaml |
7 |
A message queue for MirageOS |
May 02, 2022 |
|
|
OCaml |
16 |
Unix Filesystem passthrough for MirageOS |
Sep 14, 2021 |
|
|
OCaml |
20 |
An eDSL for MirageOS apps |
Mar 28, 2023 |
|
|
OCaml |
3 |
Portable shim for MirageOS APIs |
Jan 28, 2023 |
|
|
OCaml |
6 |
Random-related devices for MirageOS |
Dec 08, 2022 |
|
|
OCaml |
203 |
Examples of simple MirageOS apps |
Apr 08, 2023 |
|
|
OCaml |
19 |
MirageOS unikernel to test networking |
Apr 30, 2023 |
|
|
Shell |
5 |
Performance testing scripts for MirageOS |
May 08, 2021 |
|
|
OCaml |
59 |
Mirage support for writing QubesOS AppVM unikernels |
Mar 16, 2023 |
|
|
C |
52 |
Tools for running rump unikernels in userspace |
Feb 08, 2023 |
|
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |
|
|
OCaml |
3 |
How much stuff fits in a spherical shell of various dimensions? |
Nov 02, 2020 |
|
|
OCaml |
3 |
Dynamic signal uniformization |
Apr 07, 2021 |
|
|
OCaml |
3 |
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … |
Apr 18, 2020 |
|
|
OCaml |
4 |
An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. |
Jan 25, 2022 |
|
|
OCaml |
4 |
Runtime and runner for a compiler from SQL to JavaScript |
Mar 22, 2022 |
|
|
OCaml |
4 |
Pure OCaml parser for URIs for Geographic Locations |
Apr 22, 2022 |
|
|
OCaml |
4 |
An automatic recursive function transformer. |
May 13, 2022 |
|
|
OCaml |
4 |
API + Telegram bot + SPA for Dota 2 hero voicelines |
Jun 07, 2021 |
|
|
OCaml |
4 |
None |
Apr 01, 2019 |
|
|
OCaml |
4 |
Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … |
Mar 09, 2020 |