dinosaure / spoke
SPAKE2+EE implementation in OCaml
☆17Updated this week
Alternatives and similar repositories for spoke:
Users that are interested in spoke are comparing it to the libraries listed below
- OCaml behind the scenes: exceptions☆30Updated last year
- Libraries and tools to keep watch on you OCaml lib's API changes☆22Updated last week
- Lock-free Sets and Maps for OCaml multicore☆32Updated 2 years ago
- Emacs client for statistical memory profiler☆16Updated 5 years ago
- Script that greps anything in the sources of every opam packages☆24Updated 2 years ago
- OCaml package to produce JUnit xml reports☆18Updated 3 months ago
- J'ai plus mal à la tête maintenant☆26Updated 3 months ago
- ☆31Updated last year
- Convert file extensions to MIME types☆23Updated last year
- line based patch, input is a unified diff☆24Updated 3 weeks ago
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆17Updated 3 years ago
- A library for printing OCaml values with sharing☆24Updated 2 years ago
- Snóke is a good old Snake game with new ideas☆21Updated 2 years ago
- a ppx_deriving plugin for crowbar generators☆20Updated 5 years ago
- Experimental opam plugin☆16Updated last year
- ☆21Updated last year
- An opiniated file-system for MirageOS☆26Updated 6 months ago
- Port of HTTP/AF & H2 with Mirage and mimic☆30Updated last month
- Composable byte stream readers and writers for OCaml☆19Updated 3 months ago
- Overlay over bigarrays of chars☆14Updated 4 years ago
- Applying LRGrep to OCaml frontend☆12Updated this week
- [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks☆17Updated 5 years ago
- A unikernel as an IRC client☆25Updated last year
- CI building documentation for ALL versions of ALL packages !☆17Updated last month
- OCaml bindings to Minisat☆12Updated 10 months ago
- Stdcompat: compatibility module for OCaml standard library☆32Updated last week
- HTTP combinators for MirageOS☆12Updated 5 years ago
- Memory-efficient data structures in OCaml☆37Updated 3 years ago
- Libraries for reliable manipulation JSON objects.☆24Updated 2 years ago
- A web interface for albatross☆19Updated last week