s-tikhomirov

s-tikhomirov's Stars

• OpenZeppelin/openzeppelin-contracts

  OpenZeppelin Contracts is a library for secure smart contract development.

  Language:Solidity25k6401.9k11.8k

• ethereum/solidity

  Solidity, the Smart Contract Programming Language

  Language:C++23.3k7236k5.8k

• MetaMask/metamask-extension

  :globe_with_meridians: :electric_plug: The MetaMask browser extension enables browsing Ethereum blockchain enabled websites

  Language:JavaScript12k56711.9k4.9k

• Consensys/smart-contract-best-practices

  A guide to smart contract security best practices

  Language:HTML7.5k324941.5k

• input-output-hk/cardano-sl

  Cryptographic currency implementing Ouroboros PoS protocol

  Language:Haskell3.8k462849632

• ethereum/research

  Language:Python1.8k23129588

• enzymefinance/oyente

  An Analysis Tool for Smart Contracts

  Language:JavaScript1.3k57192310

• Arachnid/solidity-stringutils

  Basic string utilities for Solidity

  Language:Solidity1.1k2433373

• bekatom/awesome-ethereum

  :zap: Awesome Ethereum Resources

  893312138

• Dexaran/ERC223-token-standard

  ERC-223 token standard reference implementation.

  Language:Solidity5214939249

• input-output-hk/Scorex

  Modular blockchain framework. Public domain

  Language:JavaScript504705179

• tombusby/cypherpunk-research

  This repository is essentially for compiling information about Cypherpunks, the history of the movement, and the people/events of note.

  47841159

• pirapira/ethereum-formal-verification-overview

  The start page about my efforts around smart contract verification

  29943028

• ise-ethereum/on-chain-chess

  Play decentralised chess on the Ethereum blockchain!

  Language:JavaScript2141916339

• ethereum/remixd

  remix server

  Language:TypeScript182200106

• evm-lang-design/evm-lang-design

  Language Design Community for the EVM: Intro and Resources

  1373409

• cdecker/btcresearch

  CABRA — Comprehensive Academic Bitcoin Research Archive

  Language:HTML10421130

• richq/folders2flickr

  Upload files to flickr

  Language:Python102234738

• rchain/Rholang

  Language:Java9118213

• EthSharp/ethsharp-compiler

  Language:C#8025112

• zcash-hackworks/zbxcat

  A work-in-progress for Zcash Bitcoin Cross-Chain Atomic Transactions

  Language:Python60231820

• lorenzb/submarine_sends

  A proof-of-concept implementation of Submarine Sends for Ethereum

  Language:Python29713

• 1Hive/Hive-Democracy

  This repository contains the Hive Commons implementation of liquid democracy that is used for community governance and dispute arbitration.

  Language:JavaScript19872

• project-everest/ethereum-star

  F* proofs of Ethereum

  Language:Solidity11610

• cookt/857final

  mining contract logs for attacks

  Language:JavaScript6304

• mpenkov/lj-download

  Download a LiveJournal blog

  Language:Python53011