Specialized fuzzer for the Move compilers and the VM
☆18Nov 13, 2025Updated 4 months ago
Alternatives and similar repositories for move-smith
Users that are interested in move-smith are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of Move examples☆43Dec 2, 2025Updated 3 months ago
- ☆19May 30, 2025Updated 9 months ago
- ☆17Nov 21, 2024Updated last year
- Formal Verification tool for Move on Sui☆35Updated this week
- A guide to smart contract security best practices☆19Mar 28, 2025Updated 11 months ago
- Discover a wealth of data from the Blur NFT Marketplace, including trades, loans, auctions, and more. Leverage Bitquery Streaming APIs fo…☆11Sep 25, 2023Updated 2 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Dec 22, 2019Updated 6 years ago
- Chrome extension that redacts potentially sensitive information before querying ChatGPT☆12Aug 10, 2023Updated 2 years ago
- ☆13Jun 1, 2018Updated 7 years ago
- TypeScript project starter for NEAR BOS☆10Mar 8, 2025Updated last year
- Auth Wiki Project Team 1☆10Aug 22, 2022Updated 3 years ago
- University of the People Programming Fundamentals assignments☆14May 16, 2021Updated 4 years ago
- Fork of Paul's Inferno, Metal shaders for SwiftUI, to experimentally support visionOS☆16Jan 15, 2024Updated 2 years ago
- Mirror repo for the Aptos framework packages☆21Updated this week
- ☆11Feb 1, 2024Updated 2 years ago
- This repository is for developers willing to learn move-language, aptos, or sui themselves.☆11Nov 13, 2022Updated 3 years ago
- Md5 碰撞生成实现,去掉了boost依赖,简化编译☆12Jan 25, 2018Updated 8 years ago
- ☆45Feb 27, 2026Updated 3 weeks ago
- An Ethereum bounty contract for making posts on Twitter☆14May 7, 2019Updated 6 years ago
- Fuzzing framework to target native components of android applications☆22Oct 22, 2022Updated 3 years ago
- A collection of awesome open source projects integrating Para!☆12Feb 11, 2026Updated last month
- AI Composer from Certora Labs☆21Updated this week
- A Minimalistic Rust library to extract all potential function selectors from EVM bytecode without source code.☆37Nov 22, 2023Updated 2 years ago
- OBS Source Service and utilities for Rust software packaging☆20Updated this week
- ☆24Jul 30, 2025Updated 7 months ago
- CNVD-2021-10543:MessageSolution 企业邮件归档管理系统 EEA 存在信息泄露漏洞☆13Mar 28, 2021Updated 4 years ago
- Sui smart contract fuzzer☆51Mar 17, 2024Updated 2 years ago
- SDK for verifiable randomness function (VRF / RNG) on Aptos☆10Feb 6, 2025Updated last year
- A gentle, example-based guide to getting started with the Move prover.☆51Sep 24, 2022Updated 3 years ago
- sudoku game verify by zksnark.☆21Dec 21, 2022Updated 3 years ago
- 用来存储Cheetah的脚本文件☆12Mar 31, 2021Updated 4 years ago
- Golang 解析Wappalyzer指纹库,暂不支持识别☆13Oct 10, 2020Updated 5 years ago
- Set of standard production ready modules☆84Feb 24, 2026Updated last month
- Vital Block - Audit☆13Mar 17, 2026Updated last week
- quick playground to animate pippin☆15Nov 11, 2024Updated last year
- ☆28Dec 22, 2025Updated 3 months ago
- prediction market indexer with semantic search☆35Jan 27, 2026Updated last month
- CrackCaptcahLogin☆16Nov 22, 2017Updated 8 years ago
- ☆35Feb 14, 2026Updated last month