geohot / solidity
☆61Updated 4 years ago
Alternatives and similar repositories for solidity:
Users that are interested in solidity are comparing it to the libraries listed below
- Computing digits of pi for the people☆69Updated 3 years ago
- It's a poorly named metamath verifier☆108Updated 4 years ago
- ☆69Updated 4 years ago
- Bridge between L1 (Ethereum) and L2 (cheapETH)☆117Updated 3 years ago
- A simple Ethereum mining pool☆92Updated 4 years ago
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Updated last year
- mergesort in many languages☆262Updated last year
- It's a core. Made on Twitch.☆258Updated 3 years ago
- Letting computers listen to you and really care☆369Updated 2 years ago
- ☆69Updated 3 years ago
- Official Go implementation of the Ethereum protocol☆95Updated 3 years ago
- compression = AI☆54Updated 2 years ago
- Only you can complete you :)☆71Updated 3 years ago
- Digital version of the asymptote puzzle by perplexingpuzzles.com.au☆30Updated 3 years ago
- Scripts and environment for the tinybox☆92Updated 9 months ago
- Open-source simulator for autonomous driving research.☆22Updated 5 years ago
- Tell your crush you like them with zero-knowledge☆234Updated 2 years ago
- On chain interactive fault prover for Ethereum☆586Updated last year
- ☆34Updated 6 years ago
- Optimism Deployment on the cheapETH network☆22Updated 3 years ago
- A differential fuzzer for x86 decoders☆243Updated 3 months ago
- Let's get it☆81Updated 2 years ago
- 🧠 Brainfuck IDE and interpreter in 512 bytes. (boot sector)☆51Updated last year
- The comma.ai Calibration Challenge!☆974Updated 11 months ago
- tiny corporation website☆5Updated last week
- Exploration of x86-64 ISA using speculative execution.☆307Updated 3 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆7Updated 4 years ago
- Putting a blockchain on Google Sheets 🤡☆120Updated 3 years ago
- This repo holds materials for our Splash 2017 class on Z3.☆25Updated 7 years ago
- Public attacknets available for eth2☆72Updated 3 years ago