Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarity smart contracts.
☆29Jul 18, 2024Updated last year
Alternatives and similar repositories for stacy
Users that are interested in stacy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆29May 28, 2024Updated last year
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆53Oct 25, 2024Updated last year
- Full WASM Secure Threshold Signature ECDSA Library☆36Aug 6, 2023Updated 2 years ago
- Smart contracts for swapping assets☆21Apr 8, 2025Updated last year
- Is like jq for Immunefi REST API. Search, filter and map structured data about bug bounty programs with ease.☆31Nov 24, 2025Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The one DAO to rule them all. A modular DAO written in Clarity for the Stacks blockchain.☆52Jul 11, 2022Updated 3 years ago
- A tool to prepare pdf files exported from Pepakura for cutting machines such as the Silhouette Cameo☆10Sep 8, 2014Updated 11 years ago
- Proof of Humanity Protocol v2☆22Mar 26, 2025Updated last year
- ☆38Nov 15, 2024Updated last year
- Real-Time Gateway to Stacks DeFi.☆14Jan 24, 2026Updated 2 months ago
- Examples of Church encodings in C#☆16Nov 24, 2025Updated 4 months ago
- Program to make running your etsy shop easier. Bulk upload listings, edit them, download order information etc☆18Feb 1, 2022Updated 4 years ago
- ☆33Dec 29, 2022Updated 3 years ago
- Created primarily as an internal tool for the F# version of Hedgehog. Test interactive F# examples, similar to doctest for Haskell.☆10May 23, 2017Updated 8 years ago
- 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.
- Circom arithmetic circuits and concepts explained, in depth.☆31May 26, 2025Updated 10 months ago
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 2024Updated last year
- 3D model to paper model☆12Dec 20, 2018Updated 7 years ago
- Linter & formatter for Clarity☆13Aug 25, 2023Updated 2 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Nov 20, 2018Updated 7 years ago
- D2PFuzz, Fuzzer tool for analyze devp2p protocol☆18Oct 19, 2025Updated 5 months ago
- Monitors DeFi Llama for recently added projects using the official DeFi Llama API and GitHub Actions☆13Updated this week
- Place to review and comment on deployed Clarity smart contracts on Stacks mainnet and testnet☆42Feb 12, 2026Updated 2 months ago
- Testing framework for Algorand SDKs☆21Mar 6, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Short python script to convert images to straight vectors line art, to be printed on an XY plotter.☆18Feb 22, 2018Updated 8 years ago
- A basic sBTC powered lending app☆17Oct 21, 2023Updated 2 years ago
- Home of the NeoHaskell docs☆14Nov 9, 2025Updated 5 months ago
- ☆19Sep 5, 2025Updated 7 months ago
- Decentralized Identity Issuance Contracts☆31Nov 20, 2025Updated 4 months ago
- A scalable way to mint NFTs that earn their owners a yield in STX☆49Mar 10, 2022Updated 4 years ago
- ☆19Oct 18, 2021Updated 4 years ago
- Landing page of Awwwards winning website☆18Dec 1, 2021Updated 4 years ago
- An Objective-c/Cocoa library that provides Software Transactional Memory capabilities as found in Clojure.☆18May 25, 2012Updated 13 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- s-expression parser for javascript☆17Apr 29, 2017Updated 8 years ago
- Advent of Code 2020 Haskell Solutions☆16Dec 29, 2020Updated 5 years ago
- My portfolio inspired by AWWWARDS website! Check it out :))☆19Feb 24, 2026Updated last month
- Archive of past Stacks Foundation grant applications. Historical record of ecosystem development.☆141Mar 26, 2025Updated last year
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆92Oct 3, 2024Updated last year
- `diagnostic` makes it easier to build command line tools with great error reporting.☆31Mar 2, 2026Updated last month
- Use F# to create and consume flexible, strongly typed web APIs following the JSON:API specification☆21Feb 17, 2020Updated 6 years ago