Li Xuanji's repositories
formulae.brew.sh
🏎 An online formulae browser for Homebrew
cbc-casper-paper
The paper for Correct-By-Construction Casper consenus protocols
documentation
The documentation for the various Ethers libraries, applications and tools.
doxity
📑 Documentation Generator for Solidity
eth-tester
Tool suite for testing ethereum applications.
ethers.js
Complete Ethereum wallet implementation and library in JavaScript.
flamebearer
Blazing fast flame graph tool for V8 and Node 🔥
highlight.js
Javascript syntax highlighter
learn-plasma
Learn all about Plasma with LearnPlasma!
miximus
A proof of concept trustless ethereum mixer
plasma-mvp-rootchain
Rootchain contract implementation according to the Plasma MVP spec.
pyethereum
Next generation cryptocurrency network
simulink-argos
This is an in-progress proof-of-concept of Simulink C++ code generation to create controllers for the ARGoS multi-robot simulator.
solidity
The Solidity Contract-Oriented Programming Language
solidity-coverage
Code coverage for Solidity smart-contracts
yellowpaper
The "Yellow Paper": Ethereum's formal specification