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:
- Mapa de materias y sus correlativas de la Facultad de Ingeniería☆151Updated 4 months ago
- Organizador de horarios de la Facultad de Ingenieria☆51Updated 3 months ago
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆564Updated this week
- Useful tools for developing on Ethereum powered by Ethrex☆17Updated last week
- Exercism exercises in Cairo.☆11Updated 2 weeks ago
- Guía de ejercicios 66.70 Estructura del Computador. Facultad de Ingeniería, Universidad de Buenos Aires☆10Updated 3 years ago
- ☆35Updated 11 months ago
- LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!☆411Updated 3 months ago
- 👨🎓 Lista de recursos traducidos sobre aprendizaje relacionado con Starknet y Cairo☆13Updated 2 years ago
- The Cairo Language Server☆20Updated last week
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆716Updated this week
- STARK 101 Workshop in Rust 🐺🦀☆140Updated 2 years ago
- Monorepo of halo2 crates☆299Updated 3 months ago
- 🧉 Mate Queue Organizer GUI☆11Updated 8 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆75Updated 2 years ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆248Updated 2 weeks ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆133Updated last year
- ☆238Updated 5 months ago
- A collection of exercices to teach yourself Substrate☆138Updated 10 months ago
- A pure Rust PLONK implementation using arkworks as a backend.☆314Updated 2 years ago
- Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.☆774Updated last week
- A collection of lints to catch common mistakes and improve your Cairo code.☆30Updated this week
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆133Updated this week
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆160Updated 11 months ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆57Updated last year
- A Rust implementation of Starknet execution logic☆171Updated last year
- Noname: a programming language to write zkapps☆225Updated 3 weeks ago
- Experimental folding schemes library☆259Updated last week
- Tool for installing all the Starknet essentials for development.☆32Updated last week
- bignum☆29Updated 2 weeks ago