geohot / solidityLinks
☆62Updated 4 years ago
Alternatives and similar repositories for solidity
Users that are interested in solidity are comparing it to the libraries listed below
Sorting:
- Computing digits of pi for the people☆69Updated 3 years ago
- Bridge between L1 (Ethereum) and L2 (cheapETH)☆119Updated 3 years ago
- Official Go implementation of the Ethereum protocol☆95Updated 4 years ago
- A simple Ethereum mining pool☆93Updated 4 years ago
- ☆69Updated 4 years ago
- It's a poorly named metamath verifier☆108Updated 4 years ago
- A distributed decentralized chess tournament☆97Updated 2 years ago
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Updated 2 years ago
- mergesort in many languages☆262Updated last year
- Letting computers listen to you and really care☆370Updated 3 years ago
- compression = AI☆53Updated 2 years ago
- Like some files bro☆422Updated 9 months ago
- You like pytorch? You like micrograd? You love tinygrad! ❤️☆49Updated 4 years ago
- ☆69Updated 3 years ago
- Optimism Deployment on the cheapETH network☆22Updated 4 years ago
- like twitchslam, for chess☆362Updated last year
- On chain interactive fault prover for Ethereum☆587Updated last year
- Open-source simulator for autonomous driving research.☆22Updated 5 years ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- Reverse engineering SARS-CoV-2☆2,489Updated last year
- The comma.ai Calibration Challenge!☆974Updated last year
- My Personal Reading lists for CVE Writeups☆34Updated 3 years ago
- A differential fuzzer for x86 decoders☆251Updated 8 months ago
- Best way to learn x86 is by hacking it☆29Updated 6 years ago
- a CTF web challenge about making screenshots☆225Updated 3 years ago
- Some ipython notebooks implementing AI algorithms☆1,352Updated last month
- Example pwnable challenge hosted with docker☆224Updated last year
- GPU rootkit PoC by Team Jellyfish☆98Updated 10 years ago
- Inspired by George Hotz☆12Updated 3 years ago
- Exploration of x86-64 ISA using speculative execution.☆311Updated 4 years ago