veracruz-project / icecap
Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap
☆18Updated 11 months ago
Alternatives and similar repositories for icecap:
Users that are interested in icecap are comparing it to the libraries listed below
- experiments on distributed unikernels☆16Updated last month
- An implementation of the Transmission Control Protocol in OCaml☆28Updated 4 months ago
- Software construction and deployment kit☆33Updated last week
- A unikernel as an IRC client☆25Updated last year
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- Bindings to UNIX tuntap facilities☆21Updated 9 months ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 3 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago
- Example OCaml library written using Rust and ocaml-rs☆16Updated 3 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆26Updated 4 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆30Updated last month
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Updated last year
- A pipeline that deploys unikernels and other services☆23Updated this week
- Compiler Hacking Sessions Information☆11Updated last year
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆28Updated 5 months ago
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆15Updated 2 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 3 months ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated 5 months ago
- A high-performance server for Irmin☆23Updated 2 years ago
- Bindings to the Tracy profiler.☆26Updated this week
- An OCaml extension for RISC-V☆16Updated 4 years ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Updated 2 years ago
- Convert Markdown and YAML Data to OCaml Modules☆17Updated last year
- A debugger for Michelson☆15Updated last year
- ☆15Updated last year
- A comparison of Js_of_ocaml libraries for building reactive UIs☆11Updated 2 years ago
- OCaml + Fly.io☆11Updated 3 weeks ago
- Libbpf C-bindings for OCaml☆12Updated 6 months ago