dinosaure / spokeLinks
SPAKE2+EE implementation in OCaml
☆17Updated 2 months ago
Alternatives and similar repositories for spoke
Users that are interested in spoke are comparing it to the libraries listed below
Sorting:
- Emacs client for statistical memory profiler☆16Updated 5 years ago
- Lock-free Sets and Maps for OCaml multicore☆33Updated 2 years ago
- ☆31Updated last year
- Libraries and tools to keep watch on you OCaml lib's API changes☆22Updated last month
- A library for printing OCaml values with sharing☆24Updated 3 years ago
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆17Updated 4 years ago
- Define and generate file and directory carcasses (unreleased)☆17Updated 4 years ago
- J'ai plus mal à la tête maintenant☆26Updated 5 months ago
- OCaml package to produce JUnit xml reports☆18Updated last month
- OCaml behind the scenes: exceptions☆30Updated last year
- Overlay over bigarrays of chars☆14Updated 4 years ago
- Snóke is a good old Snake game with new ideas☆21Updated 2 years ago
- Script that greps anything in the sources of every opam packages☆24Updated 2 years ago
- ☆21Updated last week
- Interactive breakpoints!☆43Updated last year
- Convert file extensions to MIME types☆23Updated last year
- Port of HTTP/AF & H2 with Mirage and mimic☆30Updated 3 months ago
- The caml walks, OCaml runs☆19Updated last year
- CI building documentation for ALL versions of ALL packages !☆17Updated 2 weeks ago
- Community-driven guide to write good documentation for OCaml libraries.☆27Updated 6 years ago
- Applying LRGrep to OCaml frontend☆12Updated 2 months ago
- OCaml bindings to Minisat☆12Updated last year
- A unikernel as an IRC client☆25Updated last year
- A tool that creates stand-alone source bundles from opam packages☆26Updated 2 years ago
- a ppx_deriving plugin for crowbar generators☆20Updated 5 years ago
- line based patch, input is a unified diff☆24Updated this week
- [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks☆17Updated 5 years ago
- Command-line and Emacs Calendar Client☆18Updated last month
- Dissect OCaml compiled programs, and weight their content☆25Updated 2 years ago
- a solver for opam packages using 0install's solver engine☆22Updated 7 months ago