The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

OpenZeppelin Contracts written in Rust for Stellar Soroban

The Stellar app lifecycle streamlined. `stellar scaffold` CLI: init, learn, & build ambitious apps. `stellar registry` CLI: author, publish, deploy & upgrade Wasm binaries + smart contracts (or use someone else's)

Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security issues and deviations from best practices.

Stellar contract examples and components

Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.

Example smart contracts for use with Stellar

Trustless Work provides permissionles escrow infrastructure. By using Trustless Work, any platform can integrate escrows in their user flow, it leverages Stellar Soroban Smart Contracts and USDC, a digital version of the dollar.

A command-line debugger for Soroban smart contracts on the Stellar network.

No description available

CarbonScribe is a full-stack Stellar platform that tokenizes ecosystem services into Dynamic Carbon Credits. Built with Next.js, Nest.js, and Soroban smart contracts, it allows corporations to purchase and instantly retire credits with real-time pricing based on live satellite and IoT verification data.

CLI tool designed to generate language bindings for Stellar Soroban smart contracts.

This Repo is for managing NFTopia Stellar Smart Contracts

A CLI tool for the Stellar Soroban ecosystem that replays failed transactions locally to generate verbose, colorized stack traces and diagnostic events, making smart contract debugging significantly easier.

Learn import Rust fundamentals that you need in order to get started with writing Soroban smart-contracts for Stellar Blockchain

A sample full-stack decentralized application (dApp) built on the Stellar blockchain. Users can utilize this dApp to register anonymous feedback. The smart contract includes logic to automatically assign unique IDs to each newly created feedback, and these registered feedback entries can be accessed using their respective feedback IDs.

Github workflow for building Stellar Soroban contracts

A Stellar Soroban Oracle contract implemented by BP Ventures

Stellar contract examples and components

Standalone C++ miner for the FCM Smart Contract on the Stellar blockchain

An open-source bounty hunting platform where users create and apply for jobs via Stellar Blockchain wallets. Soroban Smart Contracts written in Rust and NextJS frontend.

Paymesh automates group payment distribution and crowdfunding using Stellar smart contracts. Create payment groups with automatic splits, or launch crowdfunding campaigns to raise funds transparently. Every transaction is instant, secure, and fully transparent.

✨ Stellaria ✨ is a 🎮 gamified 🕹 educational 🎒 course 🎓 where you’ll learn Stellar smart contract development 👩‍💻 though actual Github workflows built directly into Github and Codespaces. Earn cute and fun rewards that serve as verifiable proof of acheivement that are embedded with provenance to track and commemorate your journey! 💎

A package manager and contract registry for the Stellar ecosystem, providing developers with a platform to share, discover and verify smart contracts.

StrellerMinds-Backend is the dedicated NestJS-based backend for StarkMinds—a pioneering blockchain education platform on Stellar. It offers secure, scalable APIs for user authentication, course management, data storage, and Stellar smart contract interactions.

Stellar Smart Contract implementation for a escrow

Boilerplate for smart contracts in the Stellar ecosystem Soroban + Skills Vibe Coding

FairDeal is a blockchain-based escrow platform for freelancers, featuring Stellar smart contracts, IPFS file storage, and automated payment release. Zero platform fees, maximum trust.

FairDeal is a blockchain-based escrow platform for freelancers, featuring Stellar smart contracts, IPFS file storage, and automated payment release. Zero platform fees, maximum trust.

Uma biblioteca Rust para um smart contract na blockchain Stellar (Soroban) focado em uma aplicação da Bíblia Sagrada.