Repos
23
Stars
0
Forks
20
Top Language
C++
Loading contributions...
Repositories
23Training exercises for the Rust course in 1C [Fall 2025]
A domain-specific language for writing AIR constraints for Miden VM
STARK-based virtual machine
A STARK prover and verifier for arbitrary computations
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
No description provided.
No description provided.
Homework for the course "Data Visualization", MIPT, spring 2022
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
Machine learning course at MIPT
No description provided.
No description provided.
Optimization method's project
No description provided.