octra labs's Projects
An implementation of the BLAKE3 cryptographic hash function.
Effects-based direct-style IO for multicore OCaml
Experimental version of the FHE library on hypergraphs.
Irmin is a distributed database that follows the same design principles as Git
A port of Coq to Javascript
Easily generate reproducible infrastructure
Settings and scripts for deploying and installing nodes.
The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
Main public package repository for opam, the source package manager of OCaml.
Globally installable Reason toolchain.
Reason bindings for ReactJS
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.