Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Repository Index
47,133 repositories indexed
1–24 of 38 · Most stars
Framework for serverless Decentralized Applications using Ethereum, IPFS and other platforms
Polkadot's ink! to write smart contracts.
WebAssembly Smart Contracts for the Cosmos SDK
- cosmos-sdk
- rust
- smart-contracts
- webassembly
Source code verification service for Ethereum smart contracts
- verification
- ethereum
- smart-contracts
- solidity
Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.
- blockchain
- smart-contracts
- clarity
- clarinet
Algorand Smart Contracts in Python
blockchain (crypto) tools, libraries & scripts in ruby
- blockchain
- cryptohash
- distributed-database
- proof-of-work
Python-based EOS smart-contract development & testing framework
- eos
- smart-contracts
- python
- unit-testing
The Algorand AlgoKit CLI is the one-stop shop tool for developers building on the Algorand network.
- algokit
- app
Integrated Ethereum implementation and tool suite focused on Solidity testing and development.
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Framework to automate development of Algorand Assets and Smart Contracts.
- algorand
- algorand-assets
- yarn
- teal
Develop and deploy smart contracts using natural language.
- ai-web3
- web3-agents
- web3-ai
- agents-web3
The repository host gives no description.
- algokit
- lib
A framework for writing Smart Contracts on Algorand
A sandbox to run and debug smart contracts for FRAME Contracts pallet and also a sandbox framework for Substrate runtime.
💎 Solidity compiler bindings for Deno
Redspot is an Substrate pallet-contracts (ink!) development environment. Compile your contracts and run them on a different networks. Redspot's core forks from Hardhat but changed a lot to suit substrate.
Static Analyzer for Teal
A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Tealang - high level language for Algorand ASC1 and TEAL
Complete EOSIO framework for development, testing, and deployment in JavaScript
- eosio
- eoslime