Free, open source crypto trading bot

Signal processing examples in python

Quantitative analysis, strategies and backtests

CryptoEconLab at PL aspires to become a hub for research on economic incentives, coordination games, and novel marketplaces.

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

Plonk Verifier in Cairo

awesome-zkml repository

A robust execution client for Ethereum node operators.

Shhhh.....

personal website/blog

Winner of 2023 Jane Street Trading Competition

Creates a validity ML model using Cairo 1.0

Curated list of ZKML models and use cases made with Giza

A decentralized, AI-driven system accelerating the Open Mainet Pi Network, connecting global banks for secure, efficient, and autonomous transactions.

The great one

Python toolkit for quantitative finance

Python training for business analysts and traders

TQ42 Cryptography is a comprehensive suite of quantum-resistant and asymmetric post-quantum encryption algorithms and key management functions offered under the open source AGPLv3 license and avail…

Bouncy Castle Java Distribution (Mirror)

QuantNet course on C++ programming (completed with Certificate with Distinction)

Leetcode solutions

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Making client-side proving on mobile simple.

Семинары А.В. Грабового к лекционному курсу К.В. Воронцова.

MIPT physics lab reports

Open Machine Learning course