franziskuskiefer

Franziskus Kiefer

Joined crates-io 6 years ago. Joined GitHub 12 years ago.

Member of GitHub orgs

FStarLang, hacspec, berlin-crypto, Cryspen

Shares crates with

raphaelrobert, denismerigoux, kkohbrok, quininer

franziskuskiefer created 39 crates

Co-owns 8 crates