Blake3.lean

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

Name		Name	Last commit message	Last commit date
Latest commit History 61 Commits
.github		.github
.envrc		.envrc
.gitignore		.gitignore
Blake3.lean		Blake3.lean
Blake3Test.lean		Blake3Test.lean
LICENSE		LICENSE
README.md		README.md
ffi.c		ffi.c
flake.lock		flake.lock
flake.nix		flake.nix
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Provide feedback