veracruz-project / icecap
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
- Software construction and deployment kit☆33Updated this week
- An implementation of the Transmission Control Protocol in OCaml☆29Updated last week
- experiments on distributed unikernels☆16Updated 2 months ago
- A unikernel as an IRC client☆25Updated last year
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago
- Bindings to UNIX tuntap facilities☆21Updated last week
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆34Updated 3 months ago
- ☆14Updated this week
- ☆15Updated last year
- Example OCaml library written using Rust and ocaml-rs☆16Updated 4 years ago
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆15Updated 2 years ago
- ☆14Updated 2 months ago
- Wrapper to Equinix API - Archived☆12Updated 5 months ago
- Xen core platform libraries for MirageOS☆18Updated last month
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆28Updated 7 months ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆26Updated 5 years ago
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- ☆32Updated 2 weeks ago
- Automatically generate table of contents for Markdown files☆17Updated 2 years ago
- OCaml + Fly.io☆11Updated last month
- Libbpf C-bindings for OCaml☆15Updated 8 months ago
- Pure & Incomplete STUN protocol in OCaml☆14Updated 2 years ago
- CI in tty☆14Updated last year
- thread-local storage for OCaml☆17Updated 2 months ago
- line based patch, input is a unified diff☆24Updated last week
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated last year
- Library containing the definition of S-expressions and some base converters☆18Updated 4 months ago