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 3 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☆149Updated 3 months ago
- Organizador de horarios de la Facultad de Ingenieria☆51Updated 2 months ago
- Guía de ejercicios 66.70 Estructura del Computador. Facultad de Ingeniería, Universidad de Buenos Aires☆10Updated 3 years ago
- Exercism exercises in Cairo.☆11Updated last week
- ☆10Updated last year
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆133Updated 11 months ago
- comparing the performance of different zero-knowledge proof libraries☆134Updated 2 years ago
- The Cairo Language Server☆20Updated last week
- A curated list of Plonky3 resources, libraries, tools and more.☆39Updated last week
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆564Updated last week
- List of Maths Resources for ZKPs☆28Updated last year
- ☆89Updated this week
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆86Updated 11 months ago
- ☆35Updated 10 months ago
- Provable play of Nintendo Entertainment System in Noir☆136Updated last year
- Zero-Knowledge Cryptography Infrastructure Stack☆128Updated 2 years ago
- Tool for installing all the Starknet essentials for development.☆31Updated this week
- A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.☆13Updated last week
- Introductory lecture notes on programmable cryptography☆122Updated 2 months ago
- 🧉 Mate Queue Organizer GUI☆11Updated 8 months ago
- STARK 101 Workshop in Rust 🐺🦀☆139Updated 2 years ago
- A repo of example Noir projects.☆71Updated 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
- A collection of exercices to teach yourself Substrate☆137Updated 9 months ago
- Introduction to various ZK languages☆87Updated 2 months ago
- a community-maintained cryptography resource☆91Updated last year
- A Cairo VM prover implemented using Winterfell☆157Updated 3 years ago
- An interactive tutorial to get you up and running with Noir☆27Updated 3 months ago
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆121Updated 2 years ago