MegaRedHand
Informatics Engineering student at FIUBA, and developer at @lambdaclass
@lambdaclass Argentina
Pinned Repositories
cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
lambda_ethereum_consensus
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
aja
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
algo-thief
TP2 de Algoritmos y Programación 3
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
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
MegaRedHand's Repositories
MegaRedHand/algo-thief
TP2 de Algoritmos y Programación 3
MegaRedHand/aja
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
MegaRedHand/aligned_layer
Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our mission is to extend Atheneum's zk capabilities.
MegaRedHand/benchee
Easy and extensible benchmarking in Elixir providing you with lots of statistics!
MegaRedHand/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
MegaRedHand/cohort-four
Fourth cohort of Ethereum Protocol Fellowship
MegaRedHand/eflame
Flame Graph profiler for Erlang
MegaRedHand/elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
MegaRedHand/eof
Validation code for the EOF specification
MegaRedHand/introduction-to-github
MegaRedHand/leveldb-rs
A reimplementation of LevelDB in Rust (no bindings).
MegaRedHand/libmdbx-rs
Rust bindings for MDBX
MegaRedHand/MegaRedHand.github.io
Personal Github Pages site
MegaRedHand/memo1-bank-app
Actividad 8.4 de la materia de Métodos y Modelos I (Análisis de la Información) de la FIUBA
MegaRedHand/my-zsh-config
Backup of my zsh config
MegaRedHand/otp
Erlang/OTP
MegaRedHand/playlist-downloader
Download audio from YouTube playlist's videos
MegaRedHand/retesteth
testeth via RPC. Test run, generation by t8ntool protocol
MegaRedHand/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
MegaRedHand/sdn
TP2 - Software-Defined Networks
MegaRedHand/tesst