Blake3.lean

Lean bindings to the BLAKE3 hasher based on the C implementation.

Name	Name	Last commit message	Last commit date
Latest commit johnchandlerburnham add precompile flag to build (#14 ) Mar 25, 2025 a5478a8 · Mar 25, 2025 History 47 Commits
.github/workflows	.github/workflows	feat: Add Nix build (#11 )	Mar 11, 2025
.gitignore	.gitignore	feat: Add Nix build (#11 )	Mar 11, 2025
Blake3.lean	Blake3.lean	feat: Blake3 Stateful Hash Object implementation (#13 )	Mar 10, 2025
Blake3Test.lean	Blake3Test.lean	feat: Blake3 Stateful Hash Object implementation (#13 )	Mar 10, 2025
LICENSE	LICENSE	Add MIT license	Dec 30, 2021
README.md	README.md	chore: use C implementation instead of Rust's (#2 )	Feb 8, 2025
blake3.nix	blake3.nix	feat: Add Nix build (#11 )	Mar 11, 2025
ffi.c	ffi.c	feat: Expose custom Blake3 initialisers (#9 )	Mar 6, 2025
flake.lock	flake.lock	feat: Add Nix build (#11 )	Mar 11, 2025
flake.nix	flake.nix	feat: Add Nix build (#11 )	Mar 11, 2025
lake-manifest.json	lake-manifest.json	chore: use C implementation instead of Rust's (#2 )	Feb 8, 2025
lakefile.lean	lakefile.lean	add precompile flag to build (#14 )	Mar 25, 2025
lean-toolchain	lean-toolchain	chore: bump Lean to v4.17.0 (#8 )	Mar 4, 2025

Provide feedback