franziskuskiefer

Franziskus Kiefer

Joined crates-io 7 years ago. Joined GitHub 13 years ago.

Member of GitHub orgs

FStarLang, hacspec, berlin-crypto, Cryspen

Shares crates with

denismerigoux, raphaelrobert, jschneider-bensch, W95Psp, kkohbrok, quininer

franziskuskiefer created 52 crates

Co-owns 8 crates