Fumuran/Rust-Training-Course
Training exercises for the Rust course in 1C [Fall 2025]
Training 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
Homework for the course "Data Visualization", MIPT, spring 2022
Machine learning course at MIPT
Optimization method's project