veracruz-project / icecap
Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap
☆16Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for icecap
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago
- An implementation of the Transmission Control Protocol in OCaml☆28Updated 2 months ago
- OCaml bindings for the userspace eBPF VM☆11Updated 2 years ago
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Updated last year
- A Framework for building Batched Concurrent Services☆20Updated last month
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆28Updated 3 months ago
- Software construction and deployment kit☆33Updated 2 weeks ago
- A unikernel as an IRC client☆25Updated last year
- A pipeline that deploys unikernels and other services☆22Updated last week
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆30Updated this week
- SSH chat server using trust on first use for user registration☆30Updated 2 months ago
- ☆15Updated last year
- generic I/O streams of bytes☆27Updated 3 months ago
- OCaml types to Yaml types and back again☆37Updated last week
- Bindings to UNIX tuntap facilities☆21Updated 7 months ago
- Libbpf C-bindings for OCaml☆11Updated 4 months ago
- Testing and benchmarking tool for logic-related programs.☆25Updated 2 months ago
- A set of tools to work with Gameboy stuff☆13Updated last year
- Bindings to the Tracy profiler.☆25Updated 3 weeks ago
- An opiniated file-system for MirageOS☆26Updated 2 months ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 7 months ago
- OCaml bindings for OpenAI API☆16Updated 9 months ago
- Bindings to io_uring for OCaml☆61Updated 6 months ago
- Getting started with ocaml-rs☆31Updated 2 months ago
- Bindings to the various POSIX APIs☆27Updated last year
- Menhir polishing toolbox, for experienced druids☆25Updated this week
- Lightweight event dispatching for OCaml.☆12Updated 8 months ago
- Minimal support for Canonical S-expressions☆27Updated last year
- Efficient Bloom filters for OCaml☆36Updated 2 years ago