document shares
☆52Jan 31, 2026Updated last month
Alternatives and similar repositories for Shares
Users that are interested in Shares are comparing it to the libraries listed below
Sorting:
- Vanity address generator for Ethereum powered by OpenCL. Rust version of https://github.com/1inch/profanity2☆19Mar 24, 2023Updated 2 years ago
- Solana MEV bot starter template☆36Jul 1, 2023Updated 2 years ago
- EVM MEV research design☆42Jan 2, 2025Updated last year
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆13Apr 27, 2025Updated 10 months ago
- 社工库信息(csv,excel,sql)导入es☆11Mar 1, 2017Updated 9 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- The BlockchainProvider but using RPC instead of DB☆11Jul 16, 2025Updated 7 months ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- [Archived - See https://github.com/rustsbi/rustsbi/] RustSBI prototyper☆12Feb 16, 2025Updated last year
- Workshop material on Rust iterators, pattern matching and creative coding☆12Sep 8, 2022Updated 3 years ago
- A simple http server to cache specific eth rpc requests in memory.☆16Aug 11, 2025Updated 6 months ago
- ☆11Nov 20, 2022Updated 3 years ago
- An open benchmark for evaluating smart contracts verification tools.☆16Oct 5, 2025Updated 5 months ago
- A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models☆11Sep 18, 2025Updated 5 months ago
- Ethereum stateless book☆16Feb 12, 2026Updated 3 weeks ago
- ☆151May 21, 2025Updated 9 months ago
- ☆12Jul 9, 2025Updated 7 months ago
- ☆12Oct 3, 2023Updated 2 years ago
- ZZCMS v8.2-重装GETSHELL工具☆11May 8, 2018Updated 7 years ago
- Experiments in visualizing music theory☆14Oct 29, 2023Updated 2 years ago
- 渗透测试常规操作记录☆11Dec 11, 2020Updated 5 years ago
- Solythesis: Securing Smart Contract with Runtime Validation☆12Mar 3, 2023Updated 3 years ago
- jProxy 是一个 JAVA 编写的 HTTP 代理服务器类库,支持 HTTP、HTTPS、Websocket 协议,并且支持 MITM(中间人攻击),可以对 HTTP、HTTPS 协议的报文进行捕获和篡改。☆10Aug 9, 2024Updated last year
- API to cn.etherscan with a simple interface☆11Mar 12, 2024Updated last year
- Tech Stack Contribute by GPS China CSA Team☆16Mar 22, 2023Updated 2 years ago
- Practical examples of the Rust Ethereum Virtual Machine☆70Sep 25, 2024Updated last year
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- ☆12May 18, 2021Updated 4 years ago
- Solidity smart contract auditor leveraging static analysis, Solodit findings and Map, Hunt, Attack strategy☆59Feb 24, 2026Updated last week
- ☆15Feb 26, 2026Updated last week
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Jan 26, 2026Updated last month
- This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…☆16Dec 10, 2024Updated last year
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Nov 10, 2023Updated 2 years ago
- Like FromStr but it owns☆14Mar 23, 2025Updated 11 months ago
- 本指南旨在帮助新手和经验丰富的开发人员轻松浏览 Optimism 代码库。☆57Aug 31, 2025Updated 6 months ago
- 看你妈短视频☆16May 2, 2025Updated 10 months ago
- A Rust library to interact with ERC-20 contracts using Alloy.☆15Feb 21, 2026Updated last week