GitHub repository: toposware/winterfell
Primary language: Rust
Description: A fork of the novifinancial/winterfell STARK library.