mirage / eqafLinks
Constant time equal function to avoid timing attacks in OCaml
☆51Updated last year
Alternatives and similar repositories for eqaf
Users that are interested in eqaf are comparing it to the libraries listed below
Sorting:
- Infrastructure to collect metrics from OCaml applications.☆46Updated 6 months ago
- Yet another type combinator library☆55Updated 3 years ago
- A platform-agnostic multi-level index☆33Updated 3 months ago
- ☆49Updated 4 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆38Updated 6 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- a distributed computing library for OCaml☆24Updated last year
- A traceable distributed computation framework☆23Updated 6 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆16Updated 3 years ago
- A tool that creates stand-alone source bundles from opam packages☆27Updated 2 years ago
- OCaml bit vector library☆34Updated 3 weeks ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 9 months ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 6 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated last year
- Type-safe library for building parallel applications, built on top of Async's Rpc module.☆50Updated last month
- Declarative events and signals for OCaml☆50Updated last week
- OCaml WebAssembly runtime powered by Wasmtime☆35Updated 3 years ago
- Software construction and deployment kit☆36Updated last week
- OCaml bindings to kqueue☆21Updated last year
- Agnostic benchmark in OCaml (proof-of-concept)☆43Updated last year
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- Parsing library based on Earley Algorithm☆18Updated 7 months ago
- Read and write FAT format filesystems from OCaml☆25Updated 7 months ago
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆42Updated 4 years ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- Library for color and formatting in the terminal☆21Updated last month
- Bigstring intrinsics and fast blits based on memcpy/memmove☆41Updated 6 months ago
- Inspection of internal value representations and the object graph☆32Updated 9 years ago
- Relational database programming for OCaml (unreleased)☆44Updated last week
- A simple state-machine framework for OCaml based on QCheck☆67Updated 4 years ago