LayerXcom/verified-vyper-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

LayerXcom/verified-vyper-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/LayerXcom/verified-vyper-contracts)

Close

LayerXcom / verified-vyper-contractsView on GitHubMore

• External links
• Readme badge

FVyper: A collection of useful Vyper contracts developed with formal methods

☆57Apr 19, 2021Updated 4 years ago

Alternatives and similar repositories for verified-vyper-contracts

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

• LayerXcom / vyper-remix

  View on GitHub
  Remix Vyper Plugin
  ☆19Sep 4, 2020Updated 5 years ago
• LayerXcom / plasma-mvp-vyper

  View on GitHub
  Implementation of Minimal Viable Plasma in Vyper
  ☆52Aug 12, 2020Updated 5 years ago
• ethereum / twig

  View on GitHub
  ☆13Jan 21, 2019Updated 7 years ago
• LayerXcom / hyperledger-fabric-security-dvp

  View on GitHub
  Implementation of Security DvP
  ☆24May 17, 2020Updated 5 years ago
• DRI-network / TrustKYC-contract

  View on GitHub
  Implementation of KYC smart contract
  ☆10Sep 5, 2018Updated 7 years ago
• vyperlang / vvm

  View on GitHub
  Vyper version manager
  ☆28Feb 6, 2025Updated last year
• status-im / vyper-debug

  View on GitHub
  Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)
  ☆28Jun 7, 2019Updated 6 years ago
• fubuloubu / pytest-ethereum-old

  View on GitHub
  py.test plugin for testing Ethereum smart contracts
  ☆20Nov 19, 2018Updated 7 years ago
• maurelian / erc721-vyper

  View on GitHub
  ERC721 in Vyper
  ☆48Aug 27, 2018Updated 7 years ago
• LayerXcom / gram

  View on GitHub
  A 64bit-TinyRAM simulator in Go
  ☆13Oct 18, 2018Updated 7 years ago
• LayerXcom / cbc-casper-proof

  View on GitHub
  Proofs of properties of CBC Casper
  ☆36Oct 7, 2019Updated 6 years ago
• t4sk / vyper-by-example

  View on GitHub
  Learn Vyper by examples
  ☆52Feb 22, 2022Updated 4 years ago
• LayerXcom / cordage

  View on GitHub
  Cordage: the blockchain interoperability project!
  ☆53Sep 27, 2023Updated 2 years ago
• smarx / ethshardingpoc

  View on GitHub
  ☆76Dec 5, 2018Updated 7 years ago
• kframework / vyper-semantics

  View on GitHub
  KVyper: Semantics of Vyper in K
  ☆41Aug 12, 2018Updated 7 years ago
• ConsenSysDiligence / 0x_audit_report_2018-07-23

  View on GitHub
  0x Protocol v2 Audit
  ☆26Sep 10, 2019Updated 6 years ago
• p- / vscode-vyper

  View on GitHub
  Vyper support for VS Code (alpha)
  ☆20Mar 12, 2018Updated 7 years ago
• EthereumInsurance / EthInsurance

  View on GitHub
  ☆10Mar 17, 2021Updated 4 years ago
• OpenZeppelin / openzeppelin-gsn-provider

  View on GitHub
  Web3 provider for the Gas Station Network
  ☆38Aug 5, 2020Updated 5 years ago
• Uniswap / v1-contracts

  View on GitHub
  🐍Uniswap V1 smart contracts
  ☆528Apr 19, 2021Updated 4 years ago
• jacqueswww / devcon4-workshop

  View on GitHub
  Devcon4 Vyper Workshop
  ☆25Jun 2, 2021Updated 4 years ago
• levelkdev / crypto-flash

  View on GitHub
  send me some eth, how bout dat?
  ☆13Feb 17, 2019Updated 7 years ago
• jacqueswww / vim-vyper

  View on GitHub
  Vim syntax highlighting for the smart contract programming language Vyper
  ☆12Oct 24, 2019Updated 6 years ago
• Standaa / disclose

  View on GitHub
  A Javascript implementation of Zero-Knowledge Selective Disclosure
  ☆10Feb 11, 2019Updated 7 years ago
• shanefontaine / language-vyper

  View on GitHub
  🐍 Vyper language support in Atom
  ☆11Mar 24, 2022Updated 3 years ago
• status-im / snt-gas-relay

  View on GitHub
  SNT Gas Relay
  ☆14Dec 9, 2022Updated 3 years ago
• Finhaven / EthereumStatusCodes

  View on GitHub
  Status codes for Ethereum smart contracts
  ☆10Jun 19, 2018Updated 7 years ago
• LayerXcom / polkadot.rs

  View on GitHub
  JSON-RPC Client for Substrate API
  ☆14Aug 14, 2019Updated 6 years ago
• michael1011 / lncall

  View on GitHub
  Monetize your API with LND
  ☆11Apr 29, 2018Updated 7 years ago
• smartcontracts / more-minimal-plasma

  View on GitHub
  More Minimal Plasma
  ☆45Oct 23, 2018Updated 7 years ago
• matter-labs-archive / plasma_winter

  View on GitHub
  Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore
  ☆30Dec 21, 2018Updated 7 years ago
• AdChain / AdChainRegistry

  View on GitHub
  adChain registry smart contracts
  ☆30Feb 26, 2018Updated 8 years ago
• kandersen / dpc

  View on GitHub
  Distributed Protocol Combinators
  ☆14Apr 11, 2021Updated 4 years ago
• BMillman19 / issuance-relayer

  View on GitHub
  Set protocol issuance relayer
  ☆14Sep 29, 2018Updated 7 years ago
• marbleprotocol / polaris-poke-bot

  View on GitHub
  👉 A simple bot to poke Polaris
  ☆14Mar 27, 2019Updated 6 years ago
• streamhut / web

  View on GitHub
  Web app for streamhut
  ☆16Jul 12, 2020Updated 5 years ago
• maticnetwork / sol-trace

  View on GitHub
  Trace runtime failures for solidity
  ☆30May 8, 2019Updated 6 years ago
• vacp2p / mvds

  View on GitHub
  Minimal Viable Data Sync Implementation
  ☆13Aug 29, 2023Updated 2 years ago
• hugapi / hug_authentication_ldap

  View on GitHub
  A hug extension providing ldap based authentication support
  ☆13Dec 26, 2022Updated 3 years ago