Skip to content
View sladecek's full-sized avatar

Block or report sladecek

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
6 stars written in Rust
Clear filter

Anki's shared backend and web components, and the Qt frontend

Rust 18,465 2,100 Updated Oct 2, 2024

zk-SNARK library.

Rust 1,000 536 Updated Jul 15, 2024

Rust port of JoeyDeVries/LearnOpenGL

Rust 967 67 Updated Dec 22, 2021

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

Rust 514 144 Updated Oct 1, 2024

examples for bellman zk-snarks library

Rust 74 27 Updated Oct 30, 2018

MiMC hash function

Rust 11 6 Updated Sep 30, 2020