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:
- Guía de ejercicios 66.70 Estructura del Computador. Facultad de Ingeniería, Universidad de Buenos Aires☆10Updated 3 years ago
- Organizador de horarios de la Facultad de Ingenieria☆52Updated last month
- Mapa de materias y sus correlativas de la Facultad de Ingeniería☆152Updated 6 months ago
- Exercism exercises in Cairo.☆11Updated last week
- A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to de…☆68Updated this week
- LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!☆454Updated 3 weeks ago
- Useful tools for developing on Ethereum powered by Ethrex☆18Updated 3 weeks ago
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆572Updated this week
- ☆35Updated last year
- A curated list of Plonky3 resources, libraries, tools and more.☆43Updated 2 months ago
- Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.☆840Updated this week
- Madara is a powerful hybrid Starknet client written in Rust.☆121Updated this week
- 🧉 Mate Queue Organizer GUI☆11Updated 10 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆134Updated last year
- This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust☆50Updated 8 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆168Updated 8 months ago
- ☆96Updated this week
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆21Updated last year
- Provable play of Nintendo Entertainment System in Noir☆137Updated last year
- ☆194Updated 2 months ago
- Tool for installing all the Starknet essentials for development.☆34Updated this week
- STARK 101 Workshop in Rust 🐺🦀☆140Updated 2 years ago
- Noname: a programming language to write zkapps☆230Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆251Updated 2 weeks ago
- comparing the performance of different zero-knowledge proof libraries☆134Updated 2 years ago
- A library to generate bindings from Cairo ABI.☆50Updated last week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆76Updated 2 years ago
- A curated list of zkVM, zero-knowledge virtual machine☆300Updated 4 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Updated 2 years ago
- Validator software for Starknet stakers written in Go☆14Updated last month