zeroknots / slotmachine
detect hazardous storage writes in Solidity contracts
☆97Updated last year
Alternatives and similar repositories for slotmachine:
Users that are interested in slotmachine are comparing it to the libraries listed below
- BlockrBot is a Twitter bot that allows users block other users by simply sending a Direct Message.☆4Updated last year
- ☆1Updated last year
- @De-Formed functions to create new or custom implementations of @De-Formed Validations☆3Updated last year
- Using Drones and Advanced Technologies for Automatic Reporting of Vehicular Accidents☆8Updated 2 weeks ago
- A lightning fast Discord message delete tool.☆23Updated 2 years ago
- ☆10Updated last year
- Updated 2 years ago
- Solution of the exercises to the subject Introduction to Machine Learning as it is being held at FAU☆1Updated last year
- Updated 2 years ago
- A personal portfolio created in SvelteKit☆1Updated last year
- Here comes Yet Another Portable Retro Engine!☆4Updated 2 years ago
- Updated 2 years ago
- We value your feedback! If you encounter any issues on OpenRead, please take a moment to report them. Your input is crucial in our ongoin…☆3Updated last year
- Updated 2 years ago
- ConMan: An easy and flexible Docker based container manager☆1Updated 3 months ago
- Implementation of @De-Formed Validations inside of a React Hook.☆6Updated last year
- A complete, production ready Python3.11+ web server template focused on speed and safety☆4Updated 8 months ago
- Dự phòng: https://vinamegenerator.pages.dev☆18Updated 6 months ago
- Fine-tune GPT3.5 and chat with your trained model in a few clicks.☆10Updated last year
- React component for Cong Mins TagCloud☆29Updated last year
- library to easily write or read configs, supports json, toml and yaml☆16Updated 3 months ago
- NLog target for ActiveMQ☆23Updated 6 months ago
- 🌐Non-profit Research Services☆5Updated 9 months ago
- Unbreakable secure KMS (key management system) integrated to Tatum blockchain infrastructure☆199Updated 2 weeks ago
- Challenges to test your smart contract skills.☆59Updated last year
- Utils to publish transaction create via Foundry on Gnosis Safe☆13Updated last year
- Blazingly fast function selector miner written in Rust.☆79Updated 2 years ago
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆33Updated last month
- Public reports of audits performed by Nethermind Security☆44Updated last week
- Collection of past CTFs to play and practice locally.☆52Updated 8 months ago