janestreet / noise-wireguard-ocaml
An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.
☆26Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for noise-wireguard-ocaml
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Optimized Patricia trie with disk storage☆31Updated 5 years ago
- Library containing the definition of S-expressions and some base converters☆18Updated last week
- ☆15Updated last year
- A Key Value store using a persistent hashtable approach☆18Updated 2 years ago
- Result value combinators for OCaml☆37Updated last year
- Efficient Bloom filters for OCaml☆36Updated 2 years ago
- OCaml bindings for RocksDB☆20Updated last year
- Synonym of angkor☆25Updated 3 years ago
- Software construction and deployment kit☆33Updated last week
- A high-performance server for Irmin☆23Updated 2 years ago
- RPC client/server for Irmin☆19Updated 3 years ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- Parallel computation in OCaml - multicore for really poor people☆11Updated 4 years ago
- The Noise Protocol Framework, with types☆26Updated 2 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated last month
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆14Updated last year
- A platform-agnostic multi-level index☆33Updated 5 months ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated last year
- GTK and HTML viewers for mirage-profile trace files☆20Updated last year
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆29Updated last week
- Topological sort algorithm☆13Updated 2 months ago
- Painless micro-benchmarks☆20Updated 5 years ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated 3 months ago
- Experimental parallel and concurrent OCaml☆14Updated last year
- A traceable distributed computation framework☆22Updated 5 years ago