DennisBPeterson's Stars
NHDaly/ApplicationBuilder.jl
[deprecated] Compile, bundle, and release julia software
takuti/Recommendation.jl
Building recommender systems in Julia
archagon/crdt-playground
jaintj95/Math_by_Richard_Feynman
A repo of curated links to Math lectures by Prof. Richard Feynman
SilentCicero/MultiSignatureWallet
311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine
PegaSysEng/pantheon
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
rust-fuzz/afl.rs
🐇 Fuzzing Rust code with American Fuzzy Lop
AztecProtocol/aztec-v1
Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty
HigherOrderCO/Kind
A modern proof language
Mechanism-Labs/MetaAnalysis-of-Alternative-Consensus-Protocols
This paper presents the first systematization of knowledge within these major blockchain protocols, understanding the common challenges and solutions, and providing a formal structure within which to compare them. We break down these protocols by network, adversarial, and economic model, deeply understanding the common challenges of choosing proposers and committees, propogation, and finality.
Drops-of-Diamond/diamond_drops
WIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programming language
ethereumbook/ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
killerstorm/agnosticpm
decentralized prediction market without oracles
ethereum/oyente
The project has been moved to this new repo https://github.com/melonproject/oyente