Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

The Web framework for perfectionists with deadlines.

Animation engine for explanatory math videos

Documentation that simply works

Static Analyzer for Solidity and Vyper

Ethereum Proof-of-Stake Consensus Specifications

A Python implementation of the Ethereum Virtual Machine

ACA-Py is a foundation for building decentralized identity applications and services running in non-mobile environments.

Watch, Attend and Parse for Handwritten Mathematical Expression Recognition

Plenum Byzantine Fault Tolerant Protocol

Image compression using Haar Wavelets