Introduction
1.
Algorithms
2.
Platforms
2.1.
Architectures
3.
Development News
Building
4.
mach
4.1.
build
4.2.
test
Packages
5.
C
5.1.
CMake
6.
Rust
7.
OCaml
8.
JavaScript
Developer Guide
9.
Introduction
9.1.
Repository Overview
9.2.
Build Process
9.2.1.
Rust
9.2.2.
OCaml
9.2.3.
JavaScript
9.3.
Continuous Integration
9.4.
Documentation
9.4.1.
OCaml
9.5.
Benchmarks
Light
Rust
Coal
Navy
Ayu
Cryspen HACL Packages
Rust
⚠️ The Rust bindings are work in progress.