emillon / ocaml-noise
The Noise Protocol Framework, with types
☆26Updated 2 years ago
Related projects: ⓘ
- Efficient Bloom filters for OCaml☆36Updated 2 years ago
- Result value combinators for OCaml☆37Updated 10 months ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago
- ☆32Updated 2 weeks ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- wireguard but this time it's in ocaml☆1Updated 4 years ago
- Synonym of angkor☆25Updated 3 years ago
- Dissect OCaml compiled programs, and weight their content☆25Updated last year
- Infrastructure to collect metrics from OCaml applications.☆46Updated last year
- Another way to describe mirage☆19Updated 5 years ago
- Painless micro-benchmarks☆20Updated 5 years ago
- a distributed computing library for OCaml☆25Updated 8 months ago
- OCaml bindings for RocksDB☆21Updated 10 months ago
- OCaml interface to cgroups☆20Updated 2 years ago
- Experimental portable bitmap framebuffer graphics for MirageOS☆18Updated 4 years ago
- An Irmin backend for a web browser's IndexedDB store☆36Updated 2 years ago
- Streaming ZIP XML XLSX parser☆20Updated 8 months ago
- Yet another type combinator library☆54Updated 2 years ago
- HTML5 Gamepad API bindings for js_of_ocaml☆17Updated 6 years ago
- A Mirage filesystem library☆44Updated 3 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆38Updated 2 months ago
- Software construction and deployment kit☆34Updated 3 weeks ago
- LexiFi runtime types☆33Updated 3 years ago
- Lwt-enabled distributed computing library☆41Updated last year
- Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04☆17Updated 3 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 2 years ago
- Microsite for the MirageOS hack retreats☆14Updated last week
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 3 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- Bindings to the Tracy profiler.☆25Updated this week