Ethereum 2.0 deposit CLI / library

Helps a neighborhood association to organize

Performance and security acceleration for zkVMs.

QT application to manage climbers in a gym

Self-hosted prediction market app

Decentralized MEV extraction from inside the validator

My personal site

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Jito Foundation MEV Solana Client

The Deepfake Offensive Toolkit

Lido for Solana is a Lido-DAO governed liquid staking protocol for the Solana blockchain.

A plant watering tracker

WooriDB is a general purpose time serial database. It is schemaless, key-value storage and uses its own query syntax that is similar to SparQL.

Koans for the Rust programming language

Lido DAO smart contracts

An Ethereum-compatible smart contract parachain on Polkadot

Graviton Database: ZFS for key-value stores.

⟁ Tendermint Core (BFT Consensus) in Go

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Go implementation of an Avalanche node.

Exiting VIM is hard; sometimes we need to take drastic measures

A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+

Client libraries for Tendermint/CometBFT in Rust!

https://wiki.hyperledger.org/display/burrow

Karate Club: An API Oriented Open-source Python Framework for Unsupervised Learning on Graphs (CIKM 2020)

Sphinx cryptographic packet format

Smart contract specification language

An independent reimplementation of Ethereum in Haskell