jupiter
Wasm smart contract networks powered by Substrate FRAME Contracts pallet in Polk
Rust55
2 years ago
frame-contracts-palletinkpallet-contracts
ConCert
A framework for smart contract verification in Coq
Coq98mit
6 months ago
blockchaincoqsmart-contracts
sanity-clause
A data serialization/contract library for common lisp
Common Lisp46lgpl-3.0
3 years ago
common-lispserialization
AlgorandVisualStudio
Visual Studio extensions for C# TEAL compilation and Algorand Smart Contract dev
C#19
10 days ago
exop
Elixir library that provides macros which allow you to encapsulate business logi
Elixir211mit
6 months ago
coerciondddelixir
Cryptonomers
A digital will smart contract written in Clarity Lang.
TypeScript1
2 years ago
blockchainsmart-contracts
quid-pro-quo
A contract programming library for Common Lisp in the style of Eiffel’s Design b
Common Lisp92other
6 years ago
common-lispdesign-by-contracteiffel
sourcify
Decentralized Solidity contract source code verification service
TypeScript694mit
3 months ago
contractsverification
eosfactory
Python-based EOS smart-contract development & testing framework
Python243other
last year
eospythonsmart-contracts
building-secure-contracts
Guidelines and training material to write secure smart contracts
Solidity2082agpl-3.0
14 hours ago
auction-demo
An example smart contract NFT auction on Algorand
Python57
last year
algorandauctionblockchain
algoworld-contracts
🤖 A collection of Algorand Smart Signatures and Contracts for swaps and tradin
Python30mit
5 days ago
algorandalgoworldawesome-algorand
ChainX
Bitcoin's layer2 smart contract network has already supported WASM and EVM, and
Rust305gpl-3.0
3 months ago
btcevmlayer2
contracts
CityCoins give communities the power to improve and program their cities.
Clarity71gpl-3.0
last year
ricardian-template-toolkit
Renderer for the Ricardian Contract specification
TypeScript43mit
10 months ago
solidity
Solidity, the Smart Contract Programming Language
C++21892gpl-3.0
2 months ago
blockchaincppethereum
simple-security-toolkit
A collection of practical security-focused guides and checklists for smart contr
987mit
6 months ago
cryptosecuritysecurity-tools
europa
A sandbox to run and debug smart contracts for FRAME Contracts pallet and also a
Rust76
2 years ago
europasmart-contractssubstrate
eosio-contracts
EOSIO smart contract examples, patterns and use of eosjs SDK and unit tests such
JavaScript9
last year
blockchaineoseosio
eosio.contracts
Smart contracts that provide some of the basic functions of the EOSIO blockchain
C++323mit
2 years ago
eosiosmart-contracts
sui
Sui, a next-generation smart contract platform with high throughput, low latenc
Rust5535apache-2.0
2 months ago
blockchaindistributed-ledger-technologymove
pact-jvm
JVM version of Pact. Enables consumer driven contract testing, providing a mock
Kotlin1031apache-2.0
5 months ago
consumer-driven-contractscontract-testinghacktoberfest
eosio.cdt
EOSIO.CDT (Contract Development Toolkit) is a suite of tools used to build EOSIO
C++513mit
2 years ago
eosiowasm
mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethe
Python3683mit
2 months ago
blockchainethereumprogram-analysis
octopus
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contra
Python478mit
5 months ago
blockchaincall-flow-analysiscontrol-flow-analysis
algoml
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
OCaml25mit
2 years ago
algorandblockchaincryptocurrency
remotes
This is a repository listing companies which offer full-time remote jobs with Sp
1920
15 days ago
algo-builder
Framework to automate development of Algorand Assets and Smart Contracts.
TypeScript134apache-2.0
10 months ago
algorandalgorand-assetsblockchain
solcurity
Opinionated security and code quality standard for Solidity smart contracts.
1934
10 months ago
graphql-gradle-plugin-project
graphql-gradle-plugin is a Gradle Plugin for GraphQL, based on graphql-java. It
Java50mit
last month
graphql-maven-plugin-project
graphql-maven-plugin is a Maven Plugin for GraphQL, based on graphql-java. It ac
Java111mit
9 days ago
redspot
Redspot is an Substrate pallet-contracts (ink!) development environment. Compile
TypeScript66other
2 years ago
beaker
A framework for writing Smart Contracts on Algorand
Python98mit
2 months ago
algorandcryptocurrencypython
TEALScript
A subset of TypeScript for developing Algorand Smart Contracts. Enables ASC deve
TypeScript38mit
6 months ago
TEALScript
A subset of TypeScript for developing Algorand Smart Contracts. Enables ASC deve
TypeScript49mit
12 hours ago
clarinet
Write, test and deploy high-quality smart contracts to the Stacks blockchain and
Rust290gpl-3.0
18 hours ago
blockchainclarinetclarity
paddle
Java framework to write tests for your dApps and other smart contracts on Waves
Java12mit
2 years ago
blockchaindappsride
use-inkathon
Typesafe React hooks and utility functions that simplify the process of working
TypeScript47gpl-3.0
3 days ago
blockchainhooksink
algokit-tealish-template
Community starter AlgoKit template for Tealish and Algojig project for developin
Jinja0
12 months ago
algokitalgokit-templatealgorand
clarity-stacking-pools
Smart contracts for non-custodial stacking pools on the Stacks blockchain
HTML1
10 days ago
blockchainclarityclarity-smart-contracts
Leed
Leed (contraction de Light Feed) est un agrégateur RSS libre et minimaliste qui
PHP205
3 months ago
atomleedreader
eos-abigen
CLI for generating type-safe clients for EOS-compatible contracts.
Go4mit
2 years ago
blockchaincode-generationcryptocurrency
clarigen
Clarigen is a developer tool for writing Typescript code that interacts with Cla
TypeScript28
4 months ago
mockingjay-server
Fake server, Consumer Driven Contracts and help with testing performance from on
Go549mit
2 years ago
awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
Python585cc0-1.0
3 months ago
awesomeawesome-listdapp
ink
Parity's ink! to write smart contracts.
Rust1319apache-2.0
11 days ago
blockchaindomain-specific-languagekusama
reti
Contracts, Node Daemon, and UI for Algorand 'The Reti' consensus incentives
TypeScript16mit
yesterday
algorandpoolingstaking
ink
Parity's ink! to write smart contracts.
Rust1319apache-2.0
3 days ago
blockchaindomain-specific-languagekusama
ISHPermissionKit
Description Business made simpleThe SumUp App makes it simple to accept payme
Objective-C613other
3 years ago
eth-vue
Featured in Awesome Vue [https://github.com/vuejs/awesome-vue], a curated list m
JavaScript240gpl-3.0
last year
blockchainboilerplatecontracts
jupiter
Wasm smart contract networks powered by Substrate FRAME Contracts pallet in Polk
Rust55
2 years ago
frame-contracts-palletinkpallet-contracts
ConCert
A framework for smart contract verification in Coq
Coq98mit
6 months ago
blockchaincoqsmart-contracts
sanity-clause
A data serialization/contract library for common lisp
Common Lisp46lgpl-3.0
3 years ago
common-lispserialization
AlgorandVisualStudio
Visual Studio extensions for C# TEAL compilation and Algorand Smart Contract dev
C#19
10 days ago
exop
Elixir library that provides macros which allow you to encapsulate business logi
Elixir211mit
6 months ago
coerciondddelixir
Cryptonomers
A digital will smart contract written in Clarity Lang.
TypeScript1
2 years ago
blockchainsmart-contracts
quid-pro-quo
A contract programming library for Common Lisp in the style of Eiffel’s Design b
Common Lisp92other
6 years ago
common-lispdesign-by-contracteiffel
sourcify
Decentralized Solidity contract source code verification service
TypeScript694mit
3 months ago
contractsverification
eosfactory
Python-based EOS smart-contract development & testing framework
Python243other
last year
eospythonsmart-contracts
building-secure-contracts
Guidelines and training material to write secure smart contracts
Solidity2082agpl-3.0
14 hours ago
auction-demo
An example smart contract NFT auction on Algorand
Python57
last year
algorandauctionblockchain
algoworld-contracts
🤖 A collection of Algorand Smart Signatures and Contracts for swaps and tradin
Python30mit
5 days ago
algorandalgoworldawesome-algorand
ChainX
Bitcoin's layer2 smart contract network has already supported WASM and EVM, and
Rust305gpl-3.0
3 months ago
btcevmlayer2
contracts
CityCoins give communities the power to improve and program their cities.
Clarity71gpl-3.0
last year
ricardian-template-toolkit
Renderer for the Ricardian Contract specification
TypeScript43mit
10 months ago
solidity
Solidity, the Smart Contract Programming Language
C++21892gpl-3.0
2 months ago
blockchaincppethereum
simple-security-toolkit
A collection of practical security-focused guides and checklists for smart contr
987mit
6 months ago
cryptosecuritysecurity-tools
europa
A sandbox to run and debug smart contracts for FRAME Contracts pallet and also a
Rust76
2 years ago
europasmart-contractssubstrate
eosio-contracts
EOSIO smart contract examples, patterns and use of eosjs SDK and unit tests such
JavaScript9
last year
blockchaineoseosio
eosio.contracts
Smart contracts that provide some of the basic functions of the EOSIO blockchain
C++323mit
2 years ago
eosiosmart-contracts
sui
Sui, a next-generation smart contract platform with high throughput, low latenc
Rust5535apache-2.0
2 months ago
blockchaindistributed-ledger-technologymove
pact-jvm
JVM version of Pact. Enables consumer driven contract testing, providing a mock
Kotlin1031apache-2.0
5 months ago
consumer-driven-contractscontract-testinghacktoberfest
eosio.cdt
EOSIO.CDT (Contract Development Toolkit) is a suite of tools used to build EOSIO
C++513mit
2 years ago
eosiowasm
mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethe
Python3683mit
2 months ago
blockchainethereumprogram-analysis
octopus
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contra
Python478mit
5 months ago
blockchaincall-flow-analysiscontrol-flow-analysis
algoml
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
OCaml25mit
2 years ago
algorandblockchaincryptocurrency
remotes
This is a repository listing companies which offer full-time remote jobs with Sp
1920
15 days ago
algo-builder
Framework to automate development of Algorand Assets and Smart Contracts.
TypeScript134apache-2.0
10 months ago
algorandalgorand-assetsblockchain
solcurity
Opinionated security and code quality standard for Solidity smart contracts.
1934
10 months ago
graphql-gradle-plugin-project
graphql-gradle-plugin is a Gradle Plugin for GraphQL, based on graphql-java. It
Java50mit
last month
graphql-maven-plugin-project
graphql-maven-plugin is a Maven Plugin for GraphQL, based on graphql-java. It ac
Java111mit
9 days ago
redspot
Redspot is an Substrate pallet-contracts (ink!) development environment. Compile
TypeScript66other
2 years ago
beaker
A framework for writing Smart Contracts on Algorand
Python98mit
2 months ago
algorandcryptocurrencypython
TEALScript
A subset of TypeScript for developing Algorand Smart Contracts. Enables ASC deve
TypeScript38mit
6 months ago
TEALScript
A subset of TypeScript for developing Algorand Smart Contracts. Enables ASC deve
TypeScript49mit
12 hours ago
clarinet
Write, test and deploy high-quality smart contracts to the Stacks blockchain and
Rust290gpl-3.0
18 hours ago
blockchainclarinetclarity
paddle
Java framework to write tests for your dApps and other smart contracts on Waves
Java12mit
2 years ago
blockchaindappsride
use-inkathon
Typesafe React hooks and utility functions that simplify the process of working
TypeScript47gpl-3.0
3 days ago
blockchainhooksink
algokit-tealish-template
Community starter AlgoKit template for Tealish and Algojig project for developin
Jinja0
12 months ago
algokitalgokit-templatealgorand
clarity-stacking-pools
Smart contracts for non-custodial stacking pools on the Stacks blockchain
HTML1
10 days ago
blockchainclarityclarity-smart-contracts
Leed
Leed (contraction de Light Feed) est un agrégateur RSS libre et minimaliste qui
PHP205
3 months ago
atomleedreader
eos-abigen
CLI for generating type-safe clients for EOS-compatible contracts.
Go4mit
2 years ago
blockchaincode-generationcryptocurrency
clarigen
Clarigen is a developer tool for writing Typescript code that interacts with Cla
TypeScript28
4 months ago
mockingjay-server
Fake server, Consumer Driven Contracts and help with testing performance from on
Go549mit
2 years ago
awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
Python585cc0-1.0
3 months ago
awesomeawesome-listdapp
ink
Parity's ink! to write smart contracts.
Rust1319apache-2.0
11 days ago
blockchaindomain-specific-languagekusama
reti
Contracts, Node Daemon, and UI for Algorand 'The Reti' consensus incentives
TypeScript16mit
yesterday
algorandpoolingstaking
ink
Parity's ink! to write smart contracts.
Rust1319apache-2.0
3 days ago
blockchaindomain-specific-languagekusama
ISHPermissionKit
Description Business made simpleThe SumUp App makes it simple to accept payme
Objective-C613other
3 years ago
eth-vue
Featured in Awesome Vue [https://github.com/vuejs/awesome-vue], a curated list m
JavaScript240gpl-3.0
last year
blockchainboilerplatecontracts