veracruz-project / icecap
Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap
☆16Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for icecap
- An implementation of the Transmission Control Protocol in OCaml☆29Updated 2 months ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆26Updated 4 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago
- A unikernel as an IRC client☆25Updated last year
- generic I/O streams of bytes☆27Updated 3 months ago
- ☆15Updated last year
- ☆14Updated 6 months ago
- Libbpf C-bindings for OCaml☆11Updated 4 months ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆29Updated this week
- Example OCaml library written using Rust and ocaml-rs☆16Updated 3 years ago
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Updated last year
- Software construction and deployment kit☆33Updated this week
- A pipeline that deploys unikernels and other services☆22Updated 3 weeks ago
- Deriving GraphQL schema and argument values from OCaml types☆12Updated 2 years ago
- An opiniated file-system for MirageOS☆26Updated 2 months ago
- Lightweight event dispatching for OCaml.☆12Updated 8 months ago
- thread-local storage for OCaml☆15Updated last month
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆11Updated 2 years ago
- Xen core platform libraries for MirageOS☆18Updated 5 months ago
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆28Updated 3 months ago
- A set of tools to work with Gameboy stuff☆13Updated last year
- Experimental parallel and concurrent OCaml☆14Updated last year
- OCaml + Fly.io☆11Updated 3 weeks ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Updated 2 years ago
- Convert Markdown and YAML Data to OCaml Modules☆17Updated last year
- Framework for benchmarking on multiple cores on current-bench☆11Updated 3 weeks ago
- Ocaml modular spam filter☆15Updated last month
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆22Updated last month