Giters

tydeu / lean-blake3

Lean4 bindings to the Blake3 (unfinished)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Lean Blake3 bindings

This project provides lean bindings to the BLAKE3 hasher and a nix flake to build it.

About

Lean4 bindings to the Blake3 (unfinished)

Languages

Language:Nix 32.3%Language:Lean 30.4%Language:C 21.5%Language:Makefile 15.8%