|
|
OCaml |
5 |
A Mirage firewall VM for QubesOS |
Mar 08, 2022 |
|
|
OCaml |
59 |
Mirage support for writing QubesOS AppVM unikernels |
Mar 16, 2023 |
|
|
OCaml |
11 |
Scripts I use to test Mirage unikernels on QubesOS |
Jan 10, 2022 |
|
|
Perl |
5 |
OpenQA tests for QubesOS |
Dec 28, 2021 |
|
|
Python |
7 |
fwupd wrappers for QubesOS |
Apr 23, 2022 |
|
|
OCaml |
17 |
Ssh-agent unikernel for QubesOS |
May 24, 2022 |
|
|
Go |
15 |
mirage (github.com/acidlemon/mirage) for Amazon ECS |
Jul 14, 2023 |
|
|
Python |
11 |
QubesOS dom0 automation in Python |
May 30, 2018 |
|
|
OCaml |
2 |
Block implementations for mirage |
Nov 18, 2021 |
|
|
OCaml |
12 |
Flow implementations for Mirage |
Dec 10, 2022 |
|
|
Shell |
3 |
A Portage overlay for Gentoo AppVMs in QubesOS |
Mar 21, 2019 |
|
|
Python |
11 |
QubesOS - optimized Lightning Network payment dialog |
Dec 22, 2022 |
|
|
C |
2 |
zarith with fixes for Mirage |
Feb 06, 2017 |
|
|
JavaScript |
3 |
Module API browser for Mirage |
Sep 25, 2018 |
|
|
C++ |
13 |
Mirage Unreal SDK |
Aug 04, 2022 |
|
|
TypeScript |
2 |
Mirage Tank Maker |
Dec 12, 2018 |
|
|
None |
2 |
Mirage Unreal SDK |
Sep 03, 2022 |
|
|
OCaml |
6 |
Mirage Xenstore daemon |
Feb 25, 2023 |
|
|
Python |
5 |
ensoniq mirage utilities |
Dec 30, 2022 |
|
|
OCaml |
4 |
Mirage Application Builder |
Nov 08, 2021 |
|
|
OCaml |
12 |
Entropy driver for MirageOS -- this has been imported into https://github.com/mirage/mirage-crypto |
Jan 28, 2023 |
|
|
OCaml |
12 |
Portable console handling for Mirage applications |
Aug 08, 2022 |
|
|
OCaml |
11 |
Filesystem and block libraries for Mirage |
Nov 14, 2021 |
|
|
OCaml |
11 |
Xen event channel interface for Mirage |
May 21, 2022 |
|
|
OCaml |
6 |
TCP connection starter for Mirage unikernels |
Jan 28, 2023 |
|
|
JavaScript |
2 |
A demand collection website for mirage |
Nov 08, 2021 |
|
|
TypeScript |
19 |
mirage-tank online tool |
Mar 03, 2023 |
|
|
OCaml |
45 |
A Mirage filesystem library |
Apr 11, 2022 |
|
|
None |
2 |
setting up a hardened ovos-core under QubesOS |
Sep 22, 2022 |
|
|
None |
3 |
AFWall+ (Android Firewall +) - iptables based firewall for Android |
Jan 12, 2022 |
|
|
None |
2 |
AFWall+ (Android Firewall +) - iptables based firewall for Android |
Feb 01, 2023 |
|
|
Java |
2402 |
AFWall+ (Android Firewall +) - iptables based firewall for Android |
May 09, 2023 |
|
|
None |
2 |
Device interface & implementation descriptions for mirage-noconfig |
Mar 28, 2023 |
|
|
CSS |
8 |
Ayu themes: Dark, Light, Mirage for vimium |
Sep 07, 2022 |
|
|
None |
5 |
Ayu Mirage Sublime theme port for Xcode |
Dec 11, 2021 |
|
|
OCaml |
10 |
IO memory page library for Mirage backends |
Apr 25, 2022 |
|
|
OCaml |
7 |
A Mirage reporter for the Logs library |
Mar 12, 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 |