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:
- A platform-agnostic multi-level index☆33Updated 3 months ago
- Yet another type combinator library☆54Updated 3 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- ☆49Updated 4 years ago
- Fast, safe mutable dynamic arrays for OCaml☆28Updated last year
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆40Updated 2 weeks ago
- unloading modules with ocaml native☆16Updated 4 years ago
- OCaml WebAssembly runtime powered by Wasmtime☆35Updated 3 years ago
- OCaml bindings for RocksDB☆21Updated last year
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 4 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 6 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- Easy to use and user-friendly topological sort module for OCaml☆22Updated last month
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Updated 10 months ago
- A simple state-machine framework for OCaml based on QCheck☆66Updated 3 years ago
- Ocaml bindings for lmdb.☆47Updated 5 months ago
- Extensible binary data format, like JSON but faster☆43Updated 3 years ago
- A traceable distributed computation framework☆22Updated 5 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 3 months ago
- Purely functional iterators compatible with standard `seq`.☆31Updated last year
- Multiparty Session Types in OCaml☆60Updated 8 months ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Updated 3 years ago
- Getting started with ocaml-rs☆31Updated 10 months ago
- Minimal support for Canonical S-expressions☆28Updated last year
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated 2 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago