anmavrid/smart-contracts external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

anmavrid/smart-contracts

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/anmavrid/smart-contracts)

Close

anmavrid / smart-contractsView on GitHubMore

• External links
• Readme badge

☆119Nov 3, 2023Updated 2 years ago

Alternatives and similar repositories for smart-contracts

Users that are interested in smart-contracts are comparing it to the libraries listed below

• anmavrid / DesignBIP

  View on GitHub
  ☆11Nov 12, 2017Updated 8 years ago
• pascholl / SimpleOT

  View on GitHub
  The Simplest Oblivious Transfer Protocol by Chou and Orlandi. http://users-cs.au.dk/orlandi/simpleOT/
  ☆12Aug 8, 2019Updated 6 years ago
• shellygr / ECFChecker

  View on GitHub
  A dynamic checker for the ECF property incorporated into geth
  ☆15Oct 27, 2017Updated 8 years ago
• kframework / solidity-semantics

  View on GitHub
  Semantics of Solidity in K
  ☆29Oct 11, 2019Updated 6 years ago
• microsoft / verisol

  View on GitHub
  A formal verifier and analysis tool for Solidity Smart Contracts
  ☆257Dec 8, 2022Updated 3 years ago
• usyd-blockchain / vandal

  View on GitHub
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆168Aug 5, 2021Updated 4 years ago
• webgme / webgme

  View on GitHub
  Web-based Generic Modeling Environment
  ☆171Jan 25, 2025Updated last year
• kwantam / GooSig

  View on GitHub
  GooSig: short signatures from RSA that hide the signer's RSA public key
  ☆12Jan 8, 2020Updated 6 years ago
• VeriSolid / smart-contracts

  View on GitHub
  ☆10May 14, 2018Updated 7 years ago
• Sovryn-Origins / origins

  View on GitHub
  The Origins Platform Smart Contracts
  ☆10Jan 21, 2022Updated 4 years ago
• tracer-x / TRACER

  View on GitHub
  TRACER Symbolic Execution Tool
  ☆28Jun 16, 2020Updated 5 years ago
• vlab-cs-ucsb / LibStranger

  View on GitHub
  ☆12Jan 8, 2016Updated 10 years ago
• hashmatter / privacy-preserving-primitives

  View on GitHub
  primitives and protocols for implementing privacy preserving networks
  ☆16Jan 18, 2019Updated 7 years ago
• chevdor / ethup

  View on GitHub
  A utility to stop you Ethereum nodes after they are fully synced.
  ☆13Mar 22, 2018Updated 7 years ago
• kriskwiatkowski / TEE-TLS-delegator

  View on GitHub
  Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment
  ☆13Oct 10, 2022Updated 3 years ago
• zdai-io / zDai-mixer

  View on GitHub
  zDai.io - confidential Dai transactions on Burner wallet
  ☆29Mar 2, 2019Updated 7 years ago
• duaraghav8 / solparse

  View on GitHub
  Solidity Parser for Solium
  ☆29Apr 17, 2023Updated 2 years ago
• ivicanikolicsg / MAIAN

  View on GitHub
  MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
  ☆568Oct 22, 2023Updated 2 years ago
• eth-sri / securify

  View on GitHub
  [DEPRECATED] Security Scanner for Ethereum Smart Contracts
  ☆223Jan 23, 2020Updated 6 years ago
• LayerXcom / cbc-casper-proof

  View on GitHub
  Proofs of properties of CBC Casper
  ☆36Oct 7, 2019Updated 6 years ago
• ConsenSysMesh / solidity-parser

  View on GitHub
  Solidity Parser in Javascript
  ☆137Jan 10, 2022Updated 4 years ago
• ethereum / testeth

  View on GitHub
  One consensus test generator
  ☆11Dec 8, 2018Updated 7 years ago
• sambacha / ethereum-api

  View on GitHub
  Solidity API contract design information for utilizing RPC/RESTful Node Interaction and GraphQL
  ☆23Oct 5, 2021Updated 4 years ago
• status-im / geth_exporter

  View on GitHub
  geth metrics exporter for Prometheus
  ☆13Jan 21, 2026Updated last month
• aoli-al / Solythesis

  View on GitHub
  Solythesis: Securing Smart Contract with Runtime Validation
  ☆12Mar 3, 2023Updated 3 years ago
• hyperledger-labs / fabric-block-archiving

  View on GitHub
  ☆11Apr 13, 2022Updated 3 years ago
• kframework / vyper-semantics

  View on GitHub
  KVyper: Semantics of Vyper in K
  ☆41Aug 12, 2018Updated 7 years ago
• paritytech / skeleton

  View on GitHub
  A skeleton dapp
  ☆16Apr 17, 2018Updated 7 years ago
• DigixGlobal / tempo

  View on GitHub
  ⏱ Testing tool: Block & time management over RPC
  ☆14Mar 26, 2019Updated 6 years ago
• SilentCicero / ethjs-extras

  View on GitHub
  All your dApp / App essentials for working with Ethereum.
  ☆17Mar 9, 2022Updated 3 years ago
• JoinColony / jest-sandbox

  View on GitHub
  🏝 Simple sinon like sandbox for jest
  ☆16Jun 2, 2020Updated 5 years ago
• Smart-Contract-Modelling-uOttawa / Symboleo-IDE

  View on GitHub
  An IDE for Symboleo, a formal contract specification language.
  ☆18Oct 10, 2024Updated last year
• decrypto-org / TrustIsRisk

  View on GitHub
  Decentralized monetary trust network
  ☆32Jul 30, 2017Updated 8 years ago
• federicobond / solcheck

  View on GitHub
  A Solidity linter written in JS
  ☆31Oct 5, 2017Updated 8 years ago
• dedis / paper_17_randomness

  View on GitHub
  Randhound and Randherd implementation for IEEE SnP '17 paper
  ☆16Jul 11, 2017Updated 8 years ago
• interlay / interbtc-spec

  View on GitHub
  interBTC specification for a trust-minimized Bitcoin to Polkadot (and beyond) bridge
  ☆17May 18, 2022Updated 3 years ago
• artus / FarmToFork

  View on GitHub
  A POC blockchain application used to monitor assets in the food industry.
  ☆16Apr 23, 2023Updated 2 years ago
• runtimeverification / beacon-chain-verification

  View on GitHub
  ☆17Mar 17, 2023Updated 2 years ago
• jianwei76 / SoliAudit

  View on GitHub
  ☆15May 17, 2019Updated 6 years ago