mirleft / libnqsb-tls
OCaml-TLS exposed to C
☆23Updated 6 years ago
Alternatives and similar repositories for libnqsb-tls:
Users that are interested in libnqsb-tls are comparing it to the libraries listed below
- Xen core platform libraries for MirageOS☆18Updated 8 months ago
- OCaml interface to cgroups☆20Updated 2 years ago
- Small example MirageOS unikernels.☆15Updated 5 years ago
- Microsite for the MirageOS hack retreats☆13Updated 3 months ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 7 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Updated 8 years ago
- ☆18Updated 8 years ago
- Software construction and deployment kit☆33Updated this week
- wireguard but this time it's in ocaml☆1Updated 5 years ago
- Pack file encoder/decoder in OCaml☆11Updated 7 years ago
- Functional kernel written in OCaml.☆32Updated 11 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- OCaml library to access Maildir folders☆18Updated 5 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆52Updated last month
- Requirement traceability tool for OCaml☆13Updated 9 years ago
- Collect profiling information☆18Updated last year
- OCaml BitTorrent library and client☆39Updated 2 years ago
- Library for manipulating ISO images☆12Updated 5 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Updated 8 years ago
- Synonym of angkor☆25Updated 3 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 2 years ago
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- line based patch, input is a unified diff☆23Updated last month
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Updated 5 years ago
- nanomsg bindings for ocaml☆38Updated 4 years ago
- Verification tools for HardCaml☆10Updated 6 years ago
- What do you mean ?☆29Updated 6 years ago