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:
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆15Updated 3 years ago
- An implementation of the Transmission Control Protocol in OCaml☆31Updated last month
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- Software construction and deployment kit☆33Updated this week
- experiments on distributed unikernels☆16Updated 6 months ago
- A pure OCaml implementation of the i3 IPC protocol☆24Updated 2 years ago
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated this week
- Testing and benchmarking tool for logic-related programs.☆26Updated 3 months ago
- SSH chat server using trust on first use for user registration☆32Updated last month
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆29Updated 10 months ago
- A unikernel as an IRC client☆25Updated last year
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 3 years ago
- OCaml bindings for the PKCS#11 cryptographic API☆22Updated 2 years ago
- Build Mirage unikernels with Nix☆41Updated 2 months ago
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆22Updated last month
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Bindings to UNIX tuntap facilities☆22Updated 4 months ago
- For Jar artifacts☆15Updated 4 months ago
- Example OCaml library written using Rust and ocaml-rs☆16Updated 4 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆27Updated 5 years ago
- Menhir polishing toolbox, for experienced druids☆33Updated last week
- Use Bubblewrap to sandbox executables☆12Updated 4 years ago
- The official LLVM OCaml binding but built using dune☆25Updated 5 months ago
- Libbpf C-bindings for OCaml☆21Updated 3 months ago
- Compiler Hacking Sessions Information☆11Updated 2 years ago
- Framework for benchmarking on multiple cores on current-bench☆13Updated 3 weeks ago
- Bindings to io_uring for OCaml☆62Updated last year