Gerson's Projects
Build and scale ML solutions for web3 quickly, turning python scripts and ML models into resilient, recurrent workflows using ZKML
A collection of lints to catch common mistakes and improve your Cairo code.
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Test runner for ethereum foundation tests
Gitcoin Allo protocol for Starknet 馃惡
Easy TOC creation for GitHub README.md
Kakarot ZK EVM Ethereum RPC adapter
Just a repository to learn stuff about Rust.
Building the Integrity Web. The most modular ZK Rollup framework.
Portafolio del curos de Introducci贸n a la Programaci贸n
Pr谩cticas de introducci贸n a la programaci贸n
This is the repository that I'm using for the PSE course of ZKP.
Bitcoin ZK client written in Cairo.
libgccjit AOT codegen for rustc
This is the repository for completing all the Rustlings exercises.
A local testnet for Starknet... in Rust
Mobile OS built for Starknet
A collection of exercices to teach yourself Substrate
Aplicaci贸n para obtener el reporte del clima