HappyTomatoo's repositories
awesome-aleo
🏎️ A curated list of Aleo & Leo code and resources 🏎️
000
Language:CairoMIT000
header_chain
A STARK proof of Bitcoin's header chain
Language:CairoMIT000
leo-quantization
Quantized Arithmetic Based on Leo
Language:PythonApache-2.0000
orion
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
Language:CairoMIT000