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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• balzac-lang / balzac

  View on GitHub
  Balzac is a domain-specific language to write Bitcoin transactions.
  ☆26Jul 12, 2025Updated 9 months ago
• shellygr / ECFChecker

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

  View on GitHub
  ☆10May 14, 2018Updated 7 years ago
• kframework / solidity-semantics

  View on GitHub
  Semantics of Solidity in K
  ☆29Oct 11, 2019Updated 6 years ago
• usyd-blockchain / vandal

  View on GitHub
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆169Updated this week
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• microsoft / verisol

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

  View on GitHub
  Solythesis: Securing Smart Contract with Runtime Validation
  ☆13Mar 3, 2023Updated 3 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
• kwantam / GooSig

  View on GitHub
  GooSig: short signatures from RSA that hide the signer's RSA public key
  ☆12Jan 8, 2020Updated 6 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
• eth-sri / securify

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

  View on GitHub
  Proofs of properties of CBC Casper
  ☆36Oct 7, 2019Updated 6 years ago
• jianwei76 / SoliAudit

  View on GitHub
  ☆15May 17, 2019Updated 6 years ago
• kframework / vyper-semantics

  View on GitHub
  KVyper: Semantics of Vyper in K
  ☆41Aug 12, 2018Updated 7 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• zdai-io / zDai-mixer

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

  View on GitHub
  Solidity Parser in Javascript
  ☆137Jan 10, 2022Updated 4 years ago
• FireStack-Lab / LaksaGo

  View on GitHub
  Zilliqa Blockchain Library
  ☆14Sep 12, 2019Updated 6 years ago
• duaraghav8 / soltar

  View on GitHub
  Generate Solidity Code from its AST
  ☆15Sep 1, 2016Updated 9 years ago
• SilentCicero / ethjs-extras

  View on GitHub
  All your dApp / App essentials for working with Ethereum.
  ☆17Mar 9, 2022Updated 4 years ago
• Sovryn-Origins / origins

  View on GitHub
  The Origins Platform Smart Contracts
  ☆10Jan 21, 2022Updated 4 years ago
• duaraghav8 / solparse

  View on GitHub
  Solidity Parser for Solium
  ☆29Apr 17, 2023Updated 2 years ago
• wahabjawed / Build-Multi-Host-Network-Hyperledger

  View on GitHub
  Build Multi-Host Network - Hyperledger Fabric
  ☆45Sep 5, 2018Updated 7 years ago
• orlenyslp / Caterpillar

  View on GitHub
  Caterpillar: A BPMN-based BPMS for Ethereum
  ☆124Jan 12, 2023Updated 3 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• kaleido-io / kaleido-go

  View on GitHub
  Ethereum Chain Exerciser from Kaleido
  ☆18Sep 6, 2023Updated 2 years ago
• decrypto-org / TrustIsRisk

  View on GitHub
  Decentralized monetary trust network
  ☆31Jul 30, 2017Updated 8 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
• Zellic / poc-hacks

  View on GitHub
  ☆41Mar 29, 2023Updated 3 years ago
• alice-si / contracts

  View on GitHub
  Alice smart contracts
  ☆54Apr 29, 2019Updated 6 years ago
• kvhnuke / ethereumjs-wallet

  View on GitHub
  Utilities for handling Ethereum keys
  ☆10Jan 31, 2022Updated 4 years ago
• mal-plankton / solidity

  View on GitHub
  Solidity code
  ☆10Jan 29, 2023Updated 3 years ago
• Zilliqa / scilla-coq

  View on GitHub
  State-Transition Systems for Smart Contracts
  ☆26Sep 3, 2020Updated 5 years ago
• vbourachot / Dell-XPS13-9333-DSDT-Patch

  View on GitHub
  DSDT patch repository for Dell XPS13 9333
  ☆10Apr 22, 2017Updated 8 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• justincqz / orbit-db-time-machine

  View on GitHub
  Local Time Machine for OrbitDB
  ☆11Feb 13, 2026Updated 2 months 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
• perlin-network / lens

  View on GitHub
  The official network explorer for Wavelet.
  ☆28Jan 7, 2023Updated 3 years ago
• JoinColony / jest-sandbox

  View on GitHub
  🏝 Simple sinon like sandbox for jest
  ☆16Jun 2, 2020Updated 5 years ago
• blocksecteam / hookscan

  View on GitHub
  Analyzer for Uniswap v4 Hooks
  ☆11Mar 4, 2024Updated 2 years ago
• thehubbleproject / hubble-bls

  View on GitHub
  BLS typescript wrapper to interact with the contract
  ☆16Mar 11, 2022Updated 4 years ago
• animist-io / whale-island

  View on GitHub
  Bluetooth LE server for an Ethereum IoT client that provides location-based oracle services to mobile Dapps.
  ☆21Jul 23, 2019Updated 6 years ago