GitHub - cryptojedi/hacspecs-rust: specs written in hacspec-rust

cryptojedi / hacspecs-rust Public

forked from hacspec/hacspecs-rust

Notifications You must be signed in to change notification settings
Fork 0
Star 0

specs written in hacspec-rust

0 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 101 Commits
.github/workflows		.github/workflows
src		src
tests		tests
.gitignore		.gitignore
Cargo.toml		Cargo.toml
README.md		README.md
clippy.toml		clippy.toml
rustfmt.toml		rustfmt.toml

Repository files navigation

This repo holds a set of specs written in hacspec-rust.

About

specs written in hacspec-rust

Report repository

Releases

No releases published

Packages

No packages published

Languages

Rust 100.0%