☆11Jul 16, 2023Updated 3 years ago
Alternatives and similar repositories for secureum-slot4-security-pitfalls-101
Users that are interested in secureum-slot4-security-pitfalls-101 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 31, 2021Updated 5 years ago
- DELEGATECALL-safe multi-owner auth☆12Feb 1, 2022Updated 4 years ago
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago
- Probably Nothing☆12May 23, 2022Updated 4 years ago
- An alternative calldata encoding scheme for Solidity contracts.☆12Dec 14, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆48May 8, 2021Updated 5 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- Blind auctions done better☆15Nov 6, 2022Updated 4 years ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆32Mar 8, 2023Updated 3 years ago
- https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code☆40Jan 18, 2022Updated 4 years ago
- ☆37Jan 7, 2022Updated 4 years ago
- ☆11Sep 24, 2025Updated last year
- Pay on Ethereum, mint on Starknet.☆27Jan 20, 2022Updated 4 years ago
- A collection of things I've read, things I'm reading, and things I want to read. Also contains some annotated papers.☆12Aug 8, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆28Jul 6, 2026Updated 4 months ago
- A Two-Step Transfer Ownable contract implemented in Huff.☆16Aug 24, 2022Updated 4 years ago
- Interface files for the vault contracts☆10Jul 4, 2022Updated 4 years ago
- A Solidity framework for upgradeable modularized applications.☆52Apr 12, 2024Updated 2 years ago
- ☆23Jun 12, 2025Updated last year
- A tiny nearest-neighbor embedding database written in C☆19Feb 18, 2026Updated 8 months ago
- Curated Resources for Sway Development and Learning☆23Jan 4, 2022Updated 4 years ago
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- DSProxy 2.0☆14Oct 10, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Primitive protocol solidity contracts.☆42Dec 11, 2022Updated 3 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 4 years ago
- ☆28Sep 27, 2022Updated 4 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- ☆35Jul 8, 2022Updated 4 years ago
- Huff Proxies with Create2 (no SLOAD)☆41Oct 23, 2022Updated 4 years ago
- Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.☆29Updated this week
- It's Uniswap in a Box!☆13Jan 31, 2022Updated 4 years ago
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Feb 3, 2022Updated 4 years ago
- ☆29Jan 26, 2022Updated 4 years ago
- Low-cost and fast L2 to L1 token withdrawal☆10Feb 9, 2022Updated 4 years ago
- My playgrounderino for starkneterino☆13Nov 24, 2021Updated 4 years ago
- Yultsur is a Rust implementation of Yul.☆23Jul 2, 2021Updated 5 years ago
- ☆23Jul 1, 2023Updated 3 years ago
- Dungeon Crawler System☆27Jan 5, 2022Updated 4 years ago