The Koinos Miner (GUI) provides a sleek and functional user interface that allows users to mine the KOIN ERC-20 which will be used to deliver an equitable initial token distribution on the Koinos blockchain.

Stars: ✭ 26 (-79.2%)

Mutual labels: smart-contracts

sputnik-dao-contract

Smart contracts for https://app.astrodao.com

Stars: ✭ 81 (-35.2%)

Mutual labels: smart-contracts

pact-provider-verifier

Cross-platform, generic language, Pact provider verification tool

Stars: ✭ 27 (-78.4%)

Mutual labels: verification

solidity-utils

solidity utils to make your life easier

Stars: ✭ 16 (-87.2%)

Mutual labels: smart-contracts

NEO-Tutorial

Learning NEO Step by Step

Stars: ✭ 26 (-79.2%)

Mutual labels: smart-contracts

awesome-solidity-patterns

🚀Awesome Solidity patterns to make life easier ✌️

Stars: ✭ 73 (-41.6%)

Mutual labels: smart-contracts

nba-smart-contracts

Smart contracts and transactions for Topshot, the official NBA digital collectibles game on the Flow Blockchain

Stars: ✭ 316 (+152.8%)

Mutual labels: smart-contracts

rgb-core

RGB Core Library: consensus validation for private & scalable client-validated smart contracts on Bitcoin & Lightning

Stars: ✭ 99 (-20.8%)

Mutual labels: smart-contracts

flow-protocol-ethereum

Flow Protocols powering synthetic asset and margin trading

Stars: ✭ 18 (-85.6%)

Mutual labels: smart-contracts

SyReNN

SyReNN: Symbolic Representations for Neural Networks

Stars: ✭ 35 (-72%)

Mutual labels: verification

tvdapp

Blockchain DApp using React, Next.js and MobX

Stars: ✭ 66 (-47.2%)

Mutual labels: smart-contracts

vericert

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Stars: ✭ 63 (-49.6%)

Mutual labels: verification

mai-protocol

A Protocol for trading decentralized derivatives on Ethereum

Stars: ✭ 22 (-82.4%)

Mutual labels: smart-contracts

erc20-balance

💎 Get 2000+ ERC-20 token balances with JavaScript. Supports Node.js and Deno

Stars: ✭ 18 (-85.6%)

Mutual labels: smart-contracts

wyvern-ethereum

Project Wyvern Ethereum Smart Contracts

Stars: ✭ 209 (+67.2%)

Mutual labels: smart-contracts

leafleth

📑 Documentation generator for Solidity

Stars: ✭ 24 (-80.8%)

Mutual labels: smart-contracts

contracts

The Consumer Contract Wallet

Stars: ✭ 88 (-29.6%)

Mutual labels: smart-contracts

wal

WAL enables programmable waveform analysis.

Stars: ✭ 36 (-71.2%)

Mutual labels: verification

go-journal

Verified, concurrent, crash-safe transaction system

Stars: ✭ 28 (-77.6%)

Mutual labels: verification

akropolis

💥 Akropolis+Yearn

Stars: ✭ 0 (-100%)

Mutual labels: smart-contracts

munta

Fully verified model checker for realtime systems

Stars: ✭ 14 (-88.8%)

Mutual labels: verification

tinlake

Smart contracts for Tinlake, the on-chain securitization protocol for real-world assets

Stars: ✭ 85 (-32%)

Mutual labels: smart-contracts

PlasmaContract

More Viable Plasma (MoreVP) contract with Limbo Exits

Stars: ✭ 26 (-79.2%)

Mutual labels: smart-contracts

vigor

Main repository of the Vigor NF verification project.

Stars: ✭ 40 (-68%)

Mutual labels: verification

fastapi-cloudauth

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

Stars: ✭ 221 (+76.8%)

Mutual labels: verification

ether-swr

Ether-SWR is a React hook that fetches Ethereum data. It streamlines the chores to keep the internal state of the Decentralized App (DApp), batches the RPC calls to an Ethereum node and cache the responses

Stars: ✭ 125 (+0%)

Mutual labels: smart-contracts

thesoliditydev

Solidity exercises

Stars: ✭ 18 (-85.6%)

Mutual labels: smart-contracts

node-identif

🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)

Stars: ✭ 27 (-78.4%)

Mutual labels: verification

blockstarter

This is a white label solution to create a contribution crypto-wallet that can be used in your ICO campaign.