Write Clarity smart contracts using any programing language.

TypeScript5mit

5 months ago

bitcoinchatbotclarity

A framework for smart contract verification in Coq

Coq114mit

2 months ago

blockchaincoqsmart-contracts

Visual Studio extensions for C# TEAL compilation and Algorand Smart Contract dev

C#21

5 months ago

Decentralized Solidity contract source code verification service

TypeScript784mit

yesterday

contractsverification

Guidelines and training material to write secure smart contracts

Solidity2225agpl-3.0

30 days ago

Official AlgoKit template for smart contract development project using Algorand

Jinja5

4 months ago

🤖 A collection of Algorand Smart Signatures and Contracts for swaps and tradin

Python30mit

7 days ago

algorandalgoworldawesome-algorand

Bitcoin's layer2 smart contract network has already supported WASM and EVM, and

Rust321gpl-3.0

6 months ago

btcevmlayer2

List of contracts from known projects (work in progress)

131

4 months ago

Solidity, the Smart Contract Programming Language

C++22823gpl-3.0

4 months ago

blockchaincppethereum

Sui, a next-generation smart contract platform with high throughput, low latenc

Rust5916apache-2.0

4 months ago

blockchaindistributed-ledger-technologymove

JVM version of Pact. Enables consumer driven contract testing, providing a mock

Kotlin1083apache-2.0

24 days ago

consumer-driven-contractscontract-testinghacktoberfest

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethe

Python3885mit

last month

blockchainethereumprogram-analysis

Mocks and explicit contracts in Elixir

Elixir1343

3 months ago

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contra

Python481mit

12 months ago

blockchaincall-flow-analysiscontrol-flow-analysis

Write Clarity smart contracts using any programing language.

TypeScript6mit

2 days ago

ai-bitcoinbitcoin-aiclarity

This is a repository listing companies which offer full-time remote jobs with Sp

2231

2 days ago

graphql-gradle-plugin is a Gradle Plugin for GraphQL, based on graphql-java. It

Java54mit

3 months ago

graphql-maven-plugin is a Maven Plugin for GraphQL, based on graphql-java. It ac

Java119mit

2 months ago

A framework for writing Smart Contracts on Algorand

Python99mit

9 months ago

algorandcryptocurrencypython

A subset of TypeScript for developing Algorand Smart Contracts. Enables ASC deve

TypeScript49mit

3 months ago

Algorand Smart Contracts in Python

Python287mit

6 months ago

algorandavmblockchain

Write, test and deploy high-quality smart contracts to the Stacks blockchain and

Rust294gpl-3.0

3 months ago

blockchainclarinetclarity

Typesafe React hooks and utility functions that simplify the process of working

TypeScript50gpl-3.0

4 months ago

blockchainhooksink

Smart contracts for non-custodial stacking pools on the Stacks blockchain

HTML2

6 hours ago

blockchainclarityclarity-smart-contracts

Leed (contraction de Light Feed) est un agrégateur RSS libre et minimaliste qui

PHP214

10 months ago

atomleedreader

Clarigen is a developer tool for writing Typescript code that interacts with Cla

TypeScript30

11 months ago

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

Python608cc0-1.0

9 months ago

awesomeawesome-listdapp

This is a repository listing companies which offer full-time remote jobs with Po

1

28 days ago

Contracts, Node Daemon, and UI for Algorand 'The Reti' consensus incentives

TypeScript24mit

9 days ago

algorandpoolingstaking

Contracts, Node Daemon, and UI for Algorand 'The Reti' consensus incentives

TypeScript23mit

3 months ago

algorandpoolingstaking

The home for Hyperlane core contracts, sdk packages, and other infrastructure

Rust246other

4 months ago

blockchainhyperlaneinterchain

Polkadot's ink! to write smart contracts.

Rust1357apache-2.0

20 hours ago

blockchaindomain-specific-languagekusama

C++18mit

4 years ago

Neutrino Protocol Smart Contract

JavaScript10mit

2 years ago

neutrinoridesmart-contract

Wasm smart contract networks powered by Substrate FRAME Contracts pallet in Polk

Rust55

3 years ago

frame-contracts-palletinkpallet-contracts

A data serialization/contract library for common lisp

Common Lisp51lgpl-3.0

3 years ago

common-lispserialization

WASM contract toolchain

C++18mit

last year

A digital will smart contract written in Clarity Lang.

TypeScript1

3 years ago

blockchainsmart-contracts

Run mock server based off an API contract with one command

Go177mit

2 years ago

apidummyfaker

A tool for design-by-contract in Go

Go109mit

6 years ago

Encode and decode smart contract invocations

Rust511apache-2.0

last year

abiethereumevm

A contract programming library for Common Lisp in the style of Eiffel’s Design b

Common Lisp94other

6 years ago

common-lispdesign-by-contracteiffel

A contract utility too amazing to be believed!

Vue4mit

last year

Python-based EOS smart-contract development & testing framework

Python243other

2 years ago

eospythonsmart-contracts

CityCoins give communities the power to improve and program their cities.

Clarity70gpl-3.0

2 years ago

A sandbox to run and debug smart contracts for FRAME Contracts pallet and also a

Rust77

2 years ago

europasmart-contractssubstrate

An example smart contract NFT auction on Algorand

Python57

2 years ago

algorandauctionblockchain

Renderer for the Ricardian Contract specification

TypeScript43mit

last year

Casper contract, and related software and tests

Python685unlicense

3 years ago

A collection of practical security-focused guides and checklists for smart contr

1067mit

last year

cryptosecuritysecurity-tools

EOSIO smart contract examples, patterns and use of eosjs SDK and unit tests such

JavaScript9

2 years ago

blockchaineoseosio

An open source smart contract platform

C++11278mit

2 years ago

eosio

Smart contracts that provide some of the basic functions of the EOSIO blockchain

C++323mit

2 years ago

eosiosmart-contracts

EOSIO.CDT (Contract Development Toolkit) is a suite of tools used to build EOSIO

C++512mit

2 years ago

eosiowasm

A Ruby DSL for writing Algorand smart contracts

Ruby8

2 years ago

A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

OCaml24mit

2 years ago

algorandblockchaincryptocurrency

Framework to automate development of Algorand Assets and Smart Contracts.

TypeScript132apache-2.0

last year

algorandalgorand-assetsblockchain

Opinionated security and code quality standard for Solidity smart contracts.

2053

last year

Redspot is an Substrate pallet-contracts (ink!) development environment. Compile

TypeScript67other

2 years ago

Java framework to write tests for your dApps and other smart contracts on Waves

Java12mit

2 years ago

blockchaindappsride

Community starter AlgoKit template for Tealish and Algojig project for developin

Jinja0

2 years ago

algokitalgokit-templatealgorand

Rust client to Opensea's APIs and Ethereum smart contracts

Rust242

3 years ago

CLI for generating type-safe clients for EOS-compatible contracts.

Go4mit

2 years ago

blockchaincode-generationcryptocurrency

Fake server, Consumer Driven Contracts and help with testing performance from on

Go557mit

2 years ago

Featured in Awesome Vue [https://github.com/vuejs/awesome-vue], a curated list m

JavaScript243gpl-3.0

2 years ago

blockchainboilerplatecontracts