Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
src		src
.gitignore		.gitignore
Blake3.lean		Blake3.lean
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
ffi.c		ffi.c
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

Lean Blake3 bindings

Lean bindings to the BLAKE3 hasher via the Rust implementation.

About

Lean4 bindings to the Blake3

lean blake3 lean4

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages