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:
- A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM☆22Updated 2 weeks ago
- 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 last week
- ☆35Updated 11 months ago
- Tool for installing all the Starknet essentials for development.☆32Updated this week
- A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.☆13Updated 2 weeks ago
- LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!☆434Updated 4 months ago
- The Cairo Language Server☆20Updated this week
- Ejercicios resueltos de la materia Modelos y Optimización I [71.14], Facultad de Ingeniería de la Universidad de Buenos Aires, 2020c2☆12Updated 3 years ago
- STARK 101 Workshop in Rust 🐺🦀☆140Updated 2 years ago
- Introductory lecture notes on programmable cryptography☆121Updated 3 months ago
- Useful tools for developing on Ethereum powered by Ethrex☆18Updated this week
- Exercism exercises in Cairo.☆11Updated 3 weeks 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
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆133Updated last year
- ☆10Updated last year
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆133Updated this week
- barretenburg in rust (here we go)☆99Updated last year
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆75Updated 2 years 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
- comparing the performance of different zero-knowledge proof libraries☆134Updated 2 years ago
- ☆21Updated 2 years ago
- Material de Algebra I - Ciencias de la Computación, FCEN, UBA☆57Updated last year
- Documentation for deploying prod grades Starknet nodes☆11Updated 2 years ago
- cairo-by-example.com☆40Updated 7 months ago
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆21Updated last year
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆132Updated last week
- ☆25Updated last year
- A library to generate bindings from Cairo ABI.☆47Updated last week
- Minimalist, fast and modular implementation of the Lean Ethereum client written in Rust☆35Updated 3 weeks ago