slot1024's starred repositories
open-interpreter
A natural language interface for computers
grokking_algorithms
Code for the book Grokking Algorithms (https://amzn.to/29rVyHf)
gosub-engine
A html5 tokenizer / parser that hopefully grow up to be a browser. Discussions at https://github.com/gosub-browser/gosub-engine/discussions
zk-bug-tracker
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
moonmath-manual
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
defi-fork-bugs
Bugs in commonly forked DeFi protocols
umbra-protocol
๐๐ Privacy Preserving Shielded Payments On The Ethereum Blockchain
foundry-huff
A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
zk-security-reviews
Collection of security reviews of ZK Protocols
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
FreshCryptoLib
Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)
StarknetByExample
A collection of examples of Cairo smart contracts for Starknet.
relayer-v2
Relayer bot for across v2
portfolio_simulations
Moving to the new Arbiter framework to test Portfolio.
foundry-dasy
A Foundry Library for compiling, debugging, and working with Dasy contracts in Solidity.
neo-cypherpunk-toolkit
๐พ ๐๐ต๐ฒ ๐ฐ๐๐ฝ๐ต๐ฒ๐ฟ๐ฝ๐๐ป๐ธ ๐ณ๐๐๐๐ฟ๐ฒ ๐ถ๐ ๐ต๐ฒ๐ฟ๐ฒ; ๐๐ต๐ฎ๐ ๐ฑ๐ผ ๐๐ผ๐ ๐ฑ๐ผ ๐ป๐ผ๐? ๐๐ต๐ฒ ๐ณ๐๐๐๐ฟ๐ฒ ๐ฑ๐ผ๐ฒ๐ ๐ป๐ผ๐ ๐ป๐ฒ๐ฒ๐ฑ ๐๐ผ ๐ฏ๐ฒ ๐น๐ถ๐ธ๐ฒ ๐๐ต๐ฒ ๐ฝ๐ฎ๐๐; ๐๐ผ๐ ๐ฎ๐ฟ๐ฒ ๐๐๐ฟ๐ผ๐ป๐ด ๐ฒ๐ป๐ผ๐๐ด๐ต ๐๐ผ ๐ฐ๐ต๐ฎ๐ป๐ด๐ฒ ๐ฟ๐ฒ๐ฎ๐น๐ถ๐๐; ๐๐๐๐๐๐๐ ๐๐ ๐๐๐๐ ๐๐๐ ๐๐๐๐