reynir / qubes-mirage-ssh-agent
Ssh-agent unikernel for QubesOS
☆21Updated last year
Related projects ⓘ
Alternatives and complementary repositories for qubes-mirage-ssh-agent
- ☆15Updated last year
- Mirage support for writing QubesOS AppVM unikernels☆63Updated 2 months ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Updated 5 years ago
- WiP image viewer using MirageOS☆18Updated 5 years ago
- wireguard but this time it's in ocaml☆1Updated 5 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Updated 3 years ago
- WiP: RFC 4880 (OpenPGP) library and utilities in OCaml☆24Updated 6 years ago
- WIP Handbook for MirageOS☆14Updated 6 years ago
- Scripts I use to test Mirage unikernels on QubesOS☆10Updated 4 years ago
- ☆21Updated 9 months ago
- MirageOS unikernel to test networking☆16Updated last year
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Updated 4 years ago
- Basic password manager library and command-line application in OCaml☆12Updated 6 years ago
- A dedicated ActivityPub/ActivityStreams parser and generator for OCaml☆14Updated 5 years ago
- An automatic require loader for OCaml toplevels☆19Updated 5 years ago
- ☆32Updated 2 months ago
- Implementation of XMPP for MirageOS☆15Updated 5 years ago
- Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04☆17Updated 3 years ago
- Efficient Bloom filters for OCaml☆36Updated 2 years ago
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆28Updated 3 months ago
- Not a filesystem for Mirage block devices☆22Updated 2 months ago
- IRC logger using Irmin for persistence☆10Updated 8 years ago
- SSH chat server using trust on first use for user registration☆30Updated 2 months ago
- OCaml parser for RFC 3164 Syslog messages☆24Updated last year
- ☆14Updated 2 years ago
- A Mirage filesystem library☆44Updated 3 years ago
- line based patch, input is a unified diff☆23Updated last month
- Convert a cmi file back to an mli interface☆14Updated 12 years ago
- WIP☆16Updated last month