Casual Glider guides and tips
☆33Jan 3, 2025Updated last year
Alternatives and similar repositories for daily-glider
Users that are interested in daily-glider are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Nov 3, 2024Updated last year
- ☆10Nov 13, 2023Updated 2 years ago
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆37Nov 22, 2025Updated 6 months ago
- ☆47Mar 8, 2024Updated 2 years ago
- Public Report from Security Reviews, and Invariant Testing Engagements☆17Jan 28, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Sep 27, 2024Updated last year
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆119Nov 13, 2025Updated 7 months ago
- The critical bug writeups☆142Oct 31, 2024Updated last year
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆76Apr 16, 2024Updated 2 years ago
- Here we decide who is the best☆21Sep 30, 2023Updated 2 years ago
- CTF challenges made by MiloTruck☆98Jul 3, 2025Updated 11 months ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Feb 13, 2023Updated 3 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆55Aug 22, 2024Updated last year
- Coinspect Publications: audit reports and research.☆16Aug 14, 2025Updated 10 months 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.
- Not so awesome Web3 Security Reasearcher roadmap by tpiliposian☆298Apr 5, 2025Updated last year
- Quickly open your favorite Web IDE to review the selected smart contract codebase☆29Apr 8, 2024Updated 2 years ago
- Security Reviews and Audit Checklists☆136Updated this week
- Users can submit orders to milady pool and have their orders only execute at optimal prices☆10Sep 17, 2024Updated last year
- ☆18Mar 23, 2026Updated 2 months ago
- 👃Automatically identify missing or incomplete natspec☆92Jun 30, 2025Updated 11 months ago
- ☆32Sep 20, 2022Updated 3 years ago
- Practical fuzzing examples for the mastering fuzzing talk☆107Jun 29, 2023Updated 2 years ago
- defi-based organizations using sushi and bentobox☆22Sep 28, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆65Dec 16, 2024Updated last year
- Foundry template to run Proof of Concept (PoC) fork tests on any EVM compatible chain.☆50Apr 18, 2023Updated 3 years ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆728Dec 19, 2024Updated last year
- A Solidity code search tool with built-in static analysis detection☆72Jul 20, 2024Updated last year
- Observations and tips checklist for auditing protocols on multiple chains 🧐☆715Feb 4, 2026Updated 4 months ago
- My publicly available audit and bug reports☆17Mar 6, 2026Updated 3 months ago
- ERC4626 vault for auto-compounding perpetual yield tokens☆17May 23, 2023Updated 3 years ago
- Foundry Test Suit to test weird ERC20 behavior☆234Mar 23, 2023Updated 3 years ago
- ☆24Dec 20, 2024Updated last year
- 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.
- ☆12Jan 26, 2023Updated 3 years ago
- SushiXSwap V2☆28May 8, 2024Updated 2 years ago
- Smart Contract Property-Based Testing Framework☆158Apr 24, 2026Updated last month
- ☆56Dec 8, 2023Updated 2 years ago
- Proof of Concept of (now fixed) vulnerability in Notional smart contracts☆40Oct 30, 2022Updated 3 years ago
- A set of exercises to get started with Cairo0☆21Mar 26, 2025Updated last year
- Bundler3 allows accounts to batch-execute a sequence of arbitrary calls atomically. It carries specific features to be able to perform ac…☆58Apr 21, 2026Updated last month