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