Specialized fuzzer for the Move compilers and the VM
☆18Nov 13, 2025Updated 7 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☆44May 7, 2026Updated last month
- ☆18May 30, 2025Updated last year
- ☆17Nov 21, 2024Updated last year
- Formal Verification tool for Move on Sui☆41May 28, 2026Updated 2 weeks ago
- A guide to smart contract security best practices☆22Mar 28, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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☆13Aug 10, 2023Updated 2 years ago
- ☆13Jun 1, 2018Updated 8 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☆15May 16, 2021Updated 5 years ago
- Mirror repo for the Aptos framework packages☆22Jun 6, 2026Updated last week
- Fork of Paul's Inferno, Metal shaders for SwiftUI, to experimentally support visionOS☆16Jan 15, 2024Updated 2 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.
- ☆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
- ☆50Feb 27, 2026Updated 3 months ago
- An Ethereum bounty contract for making posts on Twitter☆14May 7, 2019Updated 7 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!☆14Feb 11, 2026Updated 4 months ago
- AI Composer from Certora Labs☆24Updated this week
- OBS Source Service and utilities for Rust software packaging☆20Apr 7, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆24Jul 30, 2025Updated 10 months ago
- CNVD-2021-10543：MessageSolution 企业邮件归档管理系统 EEA 存在信息泄露漏洞☆13Mar 28, 2021Updated 5 years ago
- A Minimalistic Rust library to extract all potential function selectors from EVM bytecode without source code.☆37Nov 22, 2023Updated 2 years ago
- Sui smart contract fuzzer☆52Mar 17, 2024Updated 2 years ago
- A gentle, example-based guide to getting started with the Move prover.☆52Sep 24, 2022Updated 3 years ago
- sudoku game verify by zksnark.☆21Dec 21, 2022Updated 3 years ago
- 用来存储Cheetah的脚本文件☆12Mar 31, 2021Updated 5 years ago
- Set of standard production ready modules☆82Feb 24, 2026Updated 3 months ago
- Vital Block - Audit☆13Apr 1, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Golang 解析Wappalyzer指纹库,暂不支持识别☆13Oct 10, 2020Updated 5 years ago
- prediction market indexer with semantic search☆37Jan 27, 2026Updated 4 months ago
- ☆29Dec 22, 2025Updated 5 months ago
- ☆35Feb 14, 2026Updated 4 months ago
- CrackCaptcahLogin☆16Nov 22, 2017Updated 8 years ago
- Track your time in the terminal!☆26Jun 3, 2026Updated last week
- ☆18Jun 6, 2022Updated 4 years ago