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
- Experimental model checker for testing concurrent algorithms☆36Updated 5 months ago
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆29Updated 9 months ago
- Example OCaml library written using Rust and ocaml-rs☆16Updated 4 years ago
- experiments on distributed unikernels☆16Updated 5 months ago
- An implementation of the Transmission Control Protocol in OCaml☆31Updated last week
- For Jar artifacts☆15Updated 3 months ago
- The official LLVM OCaml binding but built using dune☆25Updated 3 months ago
- Libbpf C-bindings for OCaml☆20Updated 2 months ago
- OCaml bindings to Windows' IOCP API☆16Updated 2 years ago
- Software construction and deployment kit☆33Updated this week
- Lock-free Sets and Maps for OCaml multicore☆33Updated 2 years ago
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago
- A Key Value store using a persistent hashtable approach☆18Updated 3 years ago
- A hardcaml library to interface with arty boards☆15Updated 2 years ago
- Bindings to io_uring for OCaml☆62Updated last year
- A unikernel as an IRC client☆25Updated last year
- Command-line and Emacs Calendar Client☆18Updated last month
- Framework for benchmarking on multiple cores on current-bench☆13Updated 2 weeks ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- OCaml + Fly.io☆12Updated last week
- A scheduler independent blocking mechanism☆17Updated last year
- A balanced binary search tree library for OCaml☆21Updated 5 months ago
- opam plugin to initialise a local development environment for an OCaml project☆17Updated 4 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- Minimal support for Canonical S-expressions☆28Updated last year
- The C4 Concurrent C Fuzzer☆14Updated last year
- Library for color and formatting in the terminal☆21Updated 2 years ago
- ☆23Updated 7 months ago
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago