Working-draft Mail Action Protocol for agent actions through email, with type contracts, a registry, and a validation CLI.
simulation-ready chemistry lab instruments: part-level geometry, joints, executable behaviour models and machine-readable contracts
The Open Context Layer for Data and AI , OpenMetadata is the open platform for building trusted data context and business semantics for humans, AI assistants, and agents.
OpenZeppelin Contracts is a library for secure smart contract development.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
🌴 Empowering everyone to build reliable and efficient smart contracts.
Solidity, the Smart Contract Programming Language
Mastering Ethereum: 2nd Edition, by Andreas M. Antonopoulos, Gavin Wood, Carlo Parisi, Alessandro Mazza, Niccolò Pozzolini
WTF Solidity 极简入门教程,供小白们使用。Now supports English! 官网: https://wtf.academy
Solidity contracts implementing hash based post quantum signatures
The Ultimate Open-Source Security Arsenal for Hackers, Enterprises, and AI Agents——面向极客、企业与 AI 智能体的全域开源网络安全工具矩阵
🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4
Data Contracts engine for the modern data stack. https://www.soda.io
Creusot helps you prove your Rust code is correct.
The open document intelligence platform for builders and hackers - DMS for the agentic world
Open-source data contract testing for Snowflake, Databricks, BigQuery, Kafka & 15 more. Built on the Open Data Contract Standard (ODCS). MIT.
Build and explore on-chain with Python
68 plug-and-play, best-practice product management skills for AI agents: 30 Triple Diamond phase + 11 foundation + 12 utility + 15 tool (Foundation Sprint + Design Sprint). Plus 6 sub-agents, workflows, 200+ output samples, guides, and CI-enforced contracts. Apache 2.0.
Autonomous white-hat security auditor for AI-driven code review, bug bounty research, exploit construction, and execution-grounded verification.
Give AI agents eyes, ears, and verifiable results. Watch Skill turns video, audio and screen activity into searchable, timestamped evidence and proves work with deterministic contracts, not model opinion. DeepWatch is the agent workspace built on DeepSeek Harness. Python + npm, MCP, CLI, REST, Web.
A collection of helpful contracts and libraries for use with Forge and Foundry
Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
⟠ A curated list of awesome Solidity resources, libraries, tools and more
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
SuiteCRM - Open source CRM for the world
Lightweight Java and Android library for integration with Ethereum clients
⚓ Solana Program Framework
🦄 🦄 🦄 Core smart contracts of Uniswap v3
A set of abstractions extracted out of the Symfony components
TypeScript Interface for Ethereum
🦄 🦄 Core smart contracts of Uniswap V2
Ethereum smart contract fuzzer
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
This is a repository listing companies which offer full-time remote jobs with Spanish contracts
An embedded scheme interpreter in Rust
Generic abstractions related to writing services
Generic abstractions related to translation
Generic abstractions related to caching
Documentation for Remix IDE
WebAssembly (Wasm) Interpreter - An efficient, lightweight, and deterministic WebAssembly interpreter for embedded systems and plug-in runtimes.
Generic abstractions related to HTTP clients
Hardhat-based template for developing Solidity smart contracts
JS version of Pact. Pact is a contract testing framework for HTTP APIs and non-HTTP asynchronous messaging systems.
The Plutus language implementation and tools
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Contracts for Ruby.
Mocks and explicit contracts in Elixir
Solidity Compiler for Solana, Polkadot and Stellar
An analysis tool for Python that blurs the line between testing and type systems.
🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3
🎚 Peripheral smart contracts for interacting with Uniswap V2
JVM version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.
WebAssembly Smart Contracts for the Cosmos SDK
Solhint is an open-source project to provide a linting utility for Solidity code.
Launch your own web3 decentralized prediction market in minutes (Polymarket like)
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
The reference implementation of the ERC-721 non-fungible token standard.
Solidity library for advanced fixed-point math