|
|
TypeScript |
6 |
Server for Ink! source code verification |
Jan 18, 2023 |
|
|
Rust |
989 |
Parity's ink! to write smart contracts. |
Aug 30, 2022 |
|
|
None |
2 |
Parity's ink! to write smart contracts |
Oct 25, 2022 |
|
|
None |
2 |
Parity's ink! to write smart contracts |
Oct 12, 2022 |
|
|
OCaml |
32 |
Imandra Contracts - Formal verification of smart contracts |
Apr 26, 2023 |
|
|
Solidity |
4 |
Fairness Verification of Smart Contracts |
Nov 15, 2022 |
|
|
Solidity |
21 |
Source code for released Bond Protocol smart contracts. |
Mar 26, 2023 |
|
|
Rust |
12 |
Browser Based Playground for editing, sharing & compiling ink! Smart Contracts |
Aug 20, 2022 |
|
|
TypeScript |
76 |
Full-Stack DApp Boilerplate for Substrate and ink! Smart Contracts |
May 17, 2023 |
|
|
Haskell |
45 |
Horus, a formal verification tool for StarkNet smart contracts. |
Apr 06, 2023 |
|
|
JavaScript |
5 |
Smart contracts implementing selling of bug verification oracles |
Nov 15, 2021 |
|
|
Rust |
147 |
Setup and deployment tool for developing Wasm based smart contracts via ink! |
Aug 17, 2022 |
|
|
Rust |
9 |
ink! tools for playing and researching Game Theory games using smart contracts |
Jun 28, 2023 |
|
|
Dafny |
3 |
Verification of Smart Contracts with Dafny – FMICS paper examples |
Mar 23, 2023 |
|
|
Rust |
6 |
Imports types from substrate for ink! smart contracts targeting the default node-runtime |
Jan 09, 2022 |
|
|
Solidity |
32 |
Smart contracts for zero-knowledge proofs verification on-chain with PolygonID |
Apr 20, 2023 |
|
|
None |
2 |
Code coverage for Solidity smart-contracts |
Oct 19, 2021 |
|
|
JavaScript |
915 |
Code coverage for Solidity smart-contracts |
May 08, 2023 |
|
|
JavaScript |
2 |
Code coverage for Solidity smart-contracts |
Jul 12, 2023 |
|
|
JavaScript |
4 |
Code coverage for Solidity smart-contracts |
Oct 04, 2022 |
|
|
JavaScript |
6 |
Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker |
Oct 01, 2022 |
|
|
Go |
231 |
Open Source Platform for Interoperable Smart Contracts |
Sep 06, 2022 |
|
|
JavaScript |
30 |
Open source library for registry smart contracts |
Apr 26, 2022 |
|
|
Go |
2 |
Open Source Platform for Interoperable Smart Contracts |
Oct 08, 2022 |
|
|
HTML |
32 |
Verification and Generation of Smart Contracts using Stainless and Scala |
Jan 16, 2023 |
|
|
None |
2 |
The following repo contains Formal Verification tools and resources for smart contracts for smart contract … |
Jul 10, 2023 |
|
|
HTML |
8 |
Source code for 'Beginning Ethereum Smart Contracts Programming' by Wei-Meng Lee |
Jan 30, 2022 |
|
|
Solidity |
3 |
NFTCulture Open Source Solidity Smart Contracts |
Apr 21, 2022 |
|
|
Solidity |
4 |
BetSwirl's smart-contracts source and documentation |
Nov 11, 2022 |
|
|
Rust |
2 |
Call solidity contracts from ink |
Jan 11, 2024 |
|
|
Rust |
2 |
Demo ink! smart contract. |
Aug 05, 2023 |
|
|
Swift |
6 |
tezosgen - generating code for Tezos smart contracts |
Jul 17, 2020 |
|
|
JavaScript |
3 |
Image component for Ink |
Aug 05, 2021 |
|
|
JavaScript |
65 |
Image component for Ink |
Dec 02, 2022 |
|
|
Rust |
2 |
Smart contract techniques for ink! developers |
Nov 01, 2022 |
|
|
None |
7 |
Clarity Bitcoin library for cross-chain transaction verification and more for Stacks smart contracts. |
Jan 26, 2022 |
|
|
Solidity |
2 |
Smart Contracts for Smart Wallet |
Dec 11, 2021 |
|
|
Rust |
8 |
A sample Substrate runtime showing interaction between runtime modules (pallets) and smart contracts (ink!). |
Jan 28, 2023 |
|
|
Solidity |
4 |
Source code for all contracts. |
Jan 20, 2022 |
|
|
JavaScript |
3 |
Smart Contracts source scraper + automated analysis runner |
Apr 11, 2023 |
|
|
JavaScript |
78 |
IPFS Image Uploads dApp With Ethereum Smart Contracts |
Aug 14, 2022 |
|
|
None |
8 |
CheckPoint Software Source Code and Docker Container Image Scanner |
Dec 06, 2020 |
|
|
C |
6642 |
Smart NFC & ink-Display Card |
Sep 02, 2022 |
|
|
None |
2 |
Smart NFC & ink-Display Card |
Feb 21, 2022 |
|
|
Rust |
7 |
Parity ink smart contract upgradeability |
Oct 01, 2022 |
|
|
Solidity |
2 |
Source code of contracts |
Apr 26, 2022 |
|
|
JavaScript |
2 |
Smart contracts |
Nov 12, 2018 |
|
|
JavaScript |
25 |
Smart Contracts |
Jun 22, 2022 |
|
|
Solidity |
2 |
Smart contracts |
Nov 28, 2021 |
|
|
Cadence |
2 |
Smart contracts |
Apr 11, 2023 |