selectel / pyxs
Pure Python bindings to XenStore
☆15Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for pyxs
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 8 years ago
- ptnetmap source code☆13Updated 8 years ago
- Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…☆77Updated 4 years ago
- library for network address translation intended for use with mirage unikernels☆31Updated 2 months ago
- Requirement traceability tool for OCaml☆13Updated 9 years ago
- A DHCP library in OCaml☆55Updated this week
- MRT Parser☆46Updated 5 years ago
- Work-in-Progress collection of examples of using MirageOS from OCaml☆23Updated 7 years ago
- Sealing local directories into Mirage Unikernels☆27Updated 8 years ago
- WIP Handbook for MirageOS☆14Updated 6 years ago
- Packer template to build Vagrant based Ubuntu + Xen development environment☆19Updated 8 years ago
- Off-the-record (OTR) messaging protocol, purely in OCaml☆39Updated 2 weeks ago
- OCaml embedded eBPF assembler☆21Updated 2 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 2 years ago
- Freestanding OCaml runtime☆100Updated 3 months ago
- [deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library☆54Updated 5 years ago
- TLS tunnel -- an alternative to stud / stunnel☆84Updated last year
- Scripts I use to test Mirage unikernels on QubesOS☆10Updated 4 years ago
- some TLS utilities☆17Updated 8 years ago
- A DHCP server for UNIX systems based on charrua-core.☆11Updated 7 years ago
- XCP xen-api libs☆41Updated 6 years ago
- A TLA+ specification for the Xen vchan protocol☆15Updated 5 years ago
- An IPv4 router over netmap for FreeBSD☆100Updated 8 years ago
- Verification tools for HardCaml☆10Updated 6 years ago
- Supports building of Mirage unikernels using Test Kitchen and Vagrant, and launching on AWS EC2☆19Updated 10 years ago
- A crowd-sourced document that details the changes in upcoming OCaml releases, in particular explains compatibility-breaking changes and p…☆28Updated 7 years ago
- Demonstration NATting unikernel.☆29Updated 8 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago