HermanObst / data_science_courseLinks
Notebooks de las clases del curso de ciencia de datos brindado por el MLI para estudiantes de la facultad de ingeniería de la Universidad de Buenos Aires
☆10Updated 4 years ago
Alternatives and similar repositories for data_science_course
Users that are interested in data_science_course are comparing it to the libraries listed below
Sorting:
- Exercism exercises in Cairo.☆11Updated 2 weeks ago
- comparing the performance of different zero-knowledge proof libraries☆134Updated 2 years ago
- ☆35Updated last year
- Minimalist, fast and modular implementation of the Lean Ethereum client written in Rust☆68Updated this week
- Tool for installing all the Starknet essentials for development.☆34Updated last week
- Mapa de materias y sus correlativas de la Facultad de Ingeniería☆152Updated 5 months ago
- barretenburg in rust (here we go)☆99Updated 2 years ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆75Updated 2 years ago
- bignum☆29Updated last week
- Arkworks made simple for us: the non cryptographer software plumbers☆25Updated 2 years ago
- A curated list of Plonky3 resources, libraries, tools and more.☆43Updated 2 months ago
- Infrastructure related stuff for Madara.☆16Updated 2 years ago
- This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust☆50Updated 7 months ago
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆21Updated last year
- Documentation for deploying prod grades Starknet nodes☆11Updated 2 years ago
- Provable play of Nintendo Entertainment System in Noir☆136Updated last year
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆71Updated 2 months ago
- ☆48Updated 4 years ago
- a community-maintained cryptography resource☆92Updated last year
- ☆95Updated last month
- ☆66Updated 8 months ago
- Old, obsolete version of the Valida compiler; its replacement will become public later☆51Updated 2 years ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆134Updated last year
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆38Updated 3 months ago
- ☆10Updated 2 years ago
- A monorepo of reusable Noir circuits.☆47Updated last week
- Organizador de horarios de la Facultad de Ingenieria☆52Updated 3 weeks ago
- Cairo 1 workshop repository for ETHDenver 2023☆10Updated 2 years ago
- BN254 Pairing Implementation in Noir☆23Updated 2 years ago
- A SNARK using towers of binary fields, implemented in Rust .☆128Updated 4 months ago