A framework for smart contract verification in Coq

Coq98mit

6 months ago

blockchaincoqsmart-contracts

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

C#19

7 days ago

Blockchain Contract Toolchain

C++18mit

7 months ago

Elixir library that provides macros which allow you to encapsulate business logi

Elixir211mit

6 months ago

coerciondddelixir

Encode and decode smart contract invocations

Rust496apache-2.0

8 months ago

abiethereumevm

A contract utility too amazing to be believed!

Vue4mit

10 months ago

Decentralized Solidity contract source code verification service

TypeScript694mit

3 months ago

contractsverification

Guidelines and training material to write secure smart contracts

Solidity2078agpl-3.0

24 hours ago

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

Python30mit

yesterday

algorandalgoworldawesome-algorand

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

Rust305gpl-3.0

3 months ago

btcevmlayer2

Renderer for the Ricardian Contract specification

TypeScript43mit

10 months ago

List of contracts from known projects (work in progress)

120

2 months ago

Solidity, the Smart Contract Programming Language

C++21892gpl-3.0

2 months ago

blockchaincppethereum

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

986mit

6 months ago

cryptosecuritysecurity-tools

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

Rust5535apache-2.0

2 months ago

blockchaindistributed-ledger-technologymove

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

Kotlin1031apache-2.0

5 months ago

consumer-driven-contractscontract-testinghacktoberfest

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

Python3683mit

2 months ago

blockchainethereumprogram-analysis

Mocks and explicit contracts in Elixir

Elixir1277

2 months ago

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

Python477mit

5 months ago

blockchaincall-flow-analysiscontrol-flow-analysis

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

1916

12 days ago

Framework to automate development of Algorand Assets and Smart Contracts.

TypeScript134apache-2.0

9 months ago

algorandalgorand-assetsblockchain

Opinionated security and code quality standard for Solidity smart contracts.

1934

10 months ago

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

Java50mit

last month

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

Java111mit

6 days ago

A framework for writing Smart Contracts on Algorand

Python98mit

2 months ago

algorandcryptocurrencypython

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

TypeScript38mit

6 months ago

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

TypeScript49mit

yesterday

Algorand Smart Contracts in Python

Python280mit

last month

algorandavmblockchain

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

Rust289gpl-3.0

12 hours ago

blockchainclarinetclarity

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

TypeScript46gpl-3.0

17 hours ago

blockchainhooksink

Community starter AlgoKit template for Tealish and Algojig project for developin

Jinja0

11 months ago

algokitalgokit-templatealgorand

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

HTML1

6 days ago

blockchainclarityclarity-smart-contracts

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

PHP205

3 months ago

atomleedreader

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

TypeScript28

4 months ago

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

Python584cc0-1.0

2 months ago

awesomeawesome-listdapp

Parity's ink! to write smart contracts.

Rust1319apache-2.0

8 days ago

blockchaindomain-specific-languagekusama

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

TypeScript16mit

8 hours ago

algorandpoolingstaking

Parity's ink! to write smart contracts.

Rust1319apache-2.0

13 hours ago

blockchaindomain-specific-languagekusama

C++18mit

3 years ago

Neutrino Protocol Smart Contract

JavaScript10mit

last year

neutrinoridesmart-contract

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

Rust55

2 years ago

frame-contracts-palletinkpallet-contracts

EVM contract system developer multitool

JavaScript296gpl-3.0

7 years ago

A data serialization/contract library for common lisp

Common Lisp46lgpl-3.0

3 years ago

common-lispserialization

A digital will smart contract written in Clarity Lang.

TypeScript1

2 years ago

blockchainsmart-contracts

Run mock server based off an API contract with one command

Go177mit

last year

apidummyfaker

A tool for design-by-contract in Go

Go104mit

5 years ago

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

Common Lisp92other

6 years ago

common-lispdesign-by-contracteiffel

Python-based EOS smart-contract development & testing framework

Python243other

last year

eospythonsmart-contracts

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

Clarity71gpl-3.0

last year

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

Rust76

2 years ago

europasmart-contractssubstrate

An example smart contract NFT auction on Algorand

Python57

last year

algorandauctionblockchain

Casper contract, and related software and tests

Python684unlicense

2 years ago

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

JavaScript9

last year

blockchaineoseosio

An open source smart contract platform

C++11290mit

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++513mit

2 years ago

eosiowasm

A Ruby DSL for writing Algorand smart contracts

Ruby8

last year

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

OCaml25mit

2 years ago

algorandblockchaincryptocurrency

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

TypeScript66other

2 years ago

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

Java12mit

2 years ago

blockchaindappsride

Rust client to Opensea's APIs and Ethereum smart contracts

Rust242

2 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

Go549mit

2 years ago

Description Business made simpleThe SumUp App makes it simple to accept payme

Objective-C613other

3 years ago

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

JavaScript240gpl-3.0

last year

blockchainboilerplatecontracts