dinosaure / spoke
SPAKE2+EE implementation in OCaml
☆17Updated last month
Alternatives and similar repositories for spoke:
Users that are interested in spoke are comparing it to the libraries listed below
- Emacs client for statistical memory profiler☆16Updated 5 years ago
- A library for printing OCaml values with sharing☆24Updated 3 years ago
- ☆21Updated last year
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆17Updated 4 years ago
- Libraries and tools to keep watch on you OCaml lib's API changes☆22Updated 3 weeks ago
- Lock-free Sets and Maps for OCaml multicore☆33Updated 2 years ago
- J'ai plus mal à la tête maintenant☆26Updated 4 months ago
- Convert file extensions to MIME types☆23Updated last year
- Port of HTTP/AF & H2 with Mirage and mimic☆30Updated 2 months ago
- Applying LRGrep to OCaml frontend☆12Updated last month
- Community-driven guide to write good documentation for OCaml libraries.☆27Updated 6 years ago
- Composable byte stream readers and writers for OCaml☆19Updated last month
- OCaml behind the scenes: exceptions☆30Updated last year
- Overlay over bigarrays of chars☆14Updated 4 years ago
- ☆31Updated last year
- a ppx_deriving plugin for crowbar generators☆20Updated 5 years ago
- CI building documentation for ALL versions of ALL packages !☆17Updated 2 weeks ago
- line based patch, input is a unified diff☆24Updated last week
- An opiniated file-system for MirageOS☆26Updated 7 months ago
- Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)☆24Updated last month
- Script that greps anything in the sources of every opam packages☆24Updated 2 years ago
- [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks☆17Updated 5 years ago
- Experimental opam plugin☆16Updated last month
- Stdcompat: compatibility module for OCaml standard library☆32Updated 3 weeks ago
- OCaml package to produce JUnit xml reports☆18Updated 2 weeks ago
- Dissect OCaml compiled programs, and weight their content☆25Updated 2 years ago
- Painless micro-benchmarks☆20Updated 6 years ago
- HTTP combinators for MirageOS☆12Updated 5 years ago
- A unikernel as an IRC client☆25Updated last year
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Updated last year