dinosaure / spoke
SPAKE2+EE implementation in OCaml
☆17Updated 7 months ago
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 4 years ago
- ☆31Updated last year
- ☆21Updated last year
- A library for printing OCaml values with sharing☆24Updated 2 years ago
- J'ai plus mal à la tête maintenant☆26Updated 2 months 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
- Libraries and tools to keep watch on you OCaml lib's API changes☆22Updated this week
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- Stdcompat: compatibility module for OCaml standard library☆32Updated 8 months ago
- A web interface for albatross☆18Updated this week
- a ppx_deriving plugin for crowbar generators☆20Updated 5 years ago
- [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks☆17Updated 5 years ago
- OCaml bindings to Minisat☆12Updated 9 months ago
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- OCaml behind the scenes: exceptions☆30Updated last year
- Experimental opam plugin☆16Updated 11 months ago
- Snóke is a good old Snake game with new ideas☆21Updated last year
- An opiniated file-system for MirageOS☆26Updated 5 months ago
- OCaml package to produce JUnit xml reports☆18Updated last month
- Overlay over bigarrays of chars☆14Updated 4 years ago
- A unikernel as an IRC client☆25Updated last year
- line based patch, input is a unified diff☆23Updated 2 months ago
- CI building documentation for ALL versions of ALL packages !☆17Updated 2 weeks ago
- Script that greps anything in the sources of every opam packages☆24Updated 2 years ago
- Memory-efficient data structures in OCaml☆37Updated 3 years ago
- HTTP combinators for MirageOS☆12Updated 5 years ago
- Define and generate file and directory carcasses (unreleased)☆16Updated 4 years ago
- Convert file extensions to MIME types☆23Updated last year
- Pretty-printing for error source locations☆36Updated 2 years ago