A home for ethereum smart contracts
A tool for developing smart contracts. Crafted with the finest cacaos.
Browser-based compiler and IDE
The Smart Contract Programming Language
Compiler and IDE that enables users to build Ethereum contracts
Static Analyzer for Solidity
Hardhat is a development environment to compile, deploy, test
Ethereum smart contract fuzzer
Decentralized alternative to proprietary and centralized cloud storage
OpenDAN is an open source Personal AI OS
Web4 is a new way to distribute decentralized apps
Visualize Solidity control flow for smart contract security analysis
node of the decentralized oracle network
Liquid Types For Haskell
The contract allows to mint any pokemon, as well as evolve them
Security analysis tool for EVM bytecode. Supports smart contracts
A toolbox for zkSNARKs on Ethereum
Pythonic Smart Contract Language for the EVM
Writing financial contracts in Julia
Home of Retriev protocol (by CryptoNet + YOMI)
Curated list of awesome resources related to the Ⱥlgorand Blockchain
Ethereum .Net cross platform integration library
TypeScript bindings for Ethereum smart contracts
A library that contains schemas for Amazon Braket
The Stacks 2.0 blockchain implementation