ANSSI-FR / ProTIP
ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express
☆10Updated last year
Alternatives and similar repositories for ProTIP:
Users that are interested in ProTIP are comparing it to the libraries listed below
- Plan9 software ported to OCaml☆25Updated 11 months ago
- Requirement traceability tool for OCaml☆13Updated 9 years ago
- Pack file encoder/decoder in OCaml☆11Updated 7 years ago
- Small example MirageOS unikernels.☆15Updated 5 years ago
- Work-in-Progress collection of examples of using MirageOS from OCaml☆23Updated 7 years ago
- Small command-line tools for making certificates with OCaml x509/nocrypto toolstack.☆38Updated last year
- some TLS utilities☆17Updated 9 years ago
- wireguard but this time it's in ocaml☆1Updated 5 years ago
- The consistent distributed key-value store in Open vStorage.☆29Updated 5 years ago
- A library to write emacs plugins in OCaml☆20Updated 8 years ago
- A crowd-sourced document that details the changes in upcoming OCaml releases, in particular explains compatibility-breaking changes and p…☆28Updated 7 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- A B-Tree implementation in OCaml☆23Updated 8 years ago
- establish trust in community repositories, cryptographically signed by library authors☆33Updated 4 months ago
- ntp client/server implementation in OCaml☆1Updated 4 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated 3 weeks ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- imaplet revamp with Lwt☆19Updated 7 years ago
- Microsite for the MirageOS hack retreats☆13Updated 3 weeks ago
- Parsifal : an OCaml-based parsing engine☆63Updated 4 years ago
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆18Updated 9 years ago
- A DHCP library in OCaml☆55Updated last month
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- TLS client program☆11Updated 4 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- Collect profiling information☆18Updated 2 years ago
- An eDSL for MirageOS apps☆19Updated 6 years ago
- Sealing local directories into Mirage Unikernels☆27Updated 8 years ago
- ☆18Updated 9 years ago