veracruz-project / icecapLinks
Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap
☆18Updated last year
Alternatives and similar repositories for icecap
Users that are interested in icecap are comparing it to the libraries listed below
Sorting:
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆16Updated 2 months ago
- A unikernel as an IRC client☆25Updated 2 years ago
- An implementation of the Transmission Control Protocol in OCaml☆31Updated 3 weeks ago
- A pure OCaml implementation of the i3 IPC protocol☆25Updated 3 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- experiments on distributed unikernels☆16Updated 11 months ago
- MirageOS unikernels☆20Updated 3 years ago
- a small, simple block-backed key-value store for MirageOS☆31Updated 2 weeks ago
- ☆19Updated 2 months ago
- Implementation of XMPP for MirageOS☆15Updated 6 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 3 years ago
- Pong, the operating system version☆36Updated 6 years ago
- ☆31Updated 2 years ago
- Memtrace library for MirageOS☆17Updated 8 months ago
- Xen core platform libraries for MirageOS☆18Updated 9 months ago
- Software construction and deployment kit☆34Updated last week
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated 2 weeks ago
- SSH chat server using trust on first use for user registration☆32Updated 5 months ago
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆22Updated 6 months ago
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago
- OCaml bindings to Windows' IOCP API☆17Updated 2 years ago
- Notes on OCaml debugging and performance☆16Updated 2 months ago
- An HTTP client for accessing various carbon intensity APIs☆25Updated 11 months ago
- OCaml implementation of histogram-approximation algorithm☆15Updated 3 years ago
- Bindings to the various POSIX APIs☆27Updated 4 months ago
- Command-line and Emacs Calendar Client☆21Updated this week
- Pure & Incomplete STUN protocol in OCaml☆14Updated 2 years ago
- WIP☆17Updated last year
- Use Bubblewrap to sandbox executables☆12Updated 4 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated last year