Tomás Grüner's repositories
algo-thief
TP2 de Algoritmos y Programación 3
aja
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
aligned_layer
Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our mission is to extend Atheneum's zk capabilities.
benchee
Easy and extensible benchmarking in Elixir providing you with lots of statistics!
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
cohort-four
Fourth cohort of Ethereum Protocol Fellowship
eflame
Flame Graph profiler for Erlang
elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
eof
Validation code for the EOF specification
leveldb-rs
A reimplementation of LevelDB in Rust (no bindings).
libmdbx-rs
Rust bindings for MDBX
MegaRedHand.github.io
Personal Github Pages site
memo1-bank-app
Actividad 8.4 de la materia de Métodos y Modelos I (Análisis de la Información) de la FIUBA
my-zsh-config
Backup of my zsh config
otp
Erlang/OTP
playlist-downloader
Download audio from YouTube playlist's videos
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
sdn
TP2 - Software-Defined Networks