Organizador de horarios de la Facultad de Ingenieria
☆53Mar 2, 2026Updated last week
Alternatives and similar repositories for FIUBA-Plan
Users that are interested in FIUBA-Plan are comparing it to the libraries listed below
Sorting:
- Makes Valgrind output readable for human beings☆25Sep 20, 2021Updated 4 years ago
- A Noir's backend implementation using Gnark☆35Mar 8, 2024Updated 2 years ago
- 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…☆10Dec 1, 2021Updated 4 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- Vim and Neovim plugin to highlight pasted text in terminal☆10Jul 14, 2021Updated 4 years ago
- ☆10Sep 5, 2023Updated 2 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Useful tools for developing on Ethereum powered by Ethrex☆18Feb 25, 2026Updated last week
- Aleo's Minimum Anti-Collusion Infrastructure / MACI☆13Aug 3, 2022Updated 3 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Mar 1, 2026Updated last week
- 📚📚Resúmenes de varias materias para la carrera de Licenciatura en Análisis de Sistemas de la UBA☆65Mar 28, 2019Updated 6 years ago
- Monte Carlo Simulation and Business Analysis tools for Julia☆18Dec 8, 2025Updated 3 months ago
- A simple (or advanced - it's your choice) utility to paginate discord embeds. Configure, customise, and control!☆10Sep 30, 2022Updated 3 years ago
- Guía de ejercicios 66.70 Estructura del Computador. Facultad de Ingeniería, Universidad de Buenos Aires☆10Apr 1, 2022Updated 3 years ago
- Anonymity Research Tools for TCash Users☆17Feb 8, 2022Updated 4 years ago
- Proof system with plonkup back-end proving arguments☆14Jun 16, 2022Updated 3 years ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆76Oct 2, 2023Updated 2 years ago
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- Ejemplos para mostrar en clase de Teoría de Algoritmos☆20Updated this week
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games☆73May 14, 2025Updated 9 months ago
- Hypergraph Interchange Format (HIF) Schema Definition and Tutorials☆29Feb 28, 2026Updated last week
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Aug 12, 2019Updated 6 years ago
- EigenLayer Rust Developer Tooling☆94Updated this week
- Repo that contains all changes to Cuis for teaching purposes and dependencies with other packages☆22Jan 9, 2026Updated 2 months ago
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writ…☆19Aug 15, 2023Updated 2 years ago
- Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance☆108Updated this week
- Rejunte de Finales de [7507] Algoritmos y Programación 3 (Curso Fontela/Suarez) - FIUBA☆28Feb 13, 2026Updated 3 weeks ago
- The style guide for Oslo☆29May 30, 2024Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated last month
- ☆41Oct 24, 2022Updated 3 years ago
- Danksharding Builder with GPU acceleration☆52Sep 10, 2023Updated 2 years ago
- ☆42Oct 19, 2021Updated 4 years ago
- Unified zkVM Interface & Toolkit☆79Updated this week
- an introduction to noir, with simple examples☆44Jan 8, 2024Updated 2 years ago
- A Rust implementation of Starknet execution logic☆170Jul 22, 2024Updated last year
- ☆36Jun 8, 2021Updated 4 years ago
- ☆69Updated this week
- cairo-by-example.com☆38May 6, 2025Updated 10 months ago