runtimeverification/kontrol-demo 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

runtimeverification/kontrol-demo

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/runtimeverification/kontrol-demo)

Close

runtimeverification / kontrol-demoView on GitHubMore

• External links
• Readme badge

Foundry blog posts' executable demos

☆14Apr 30, 2025Updated 10 months ago

Alternatives and similar repositories for kontrol-demo

Users that are interested in kontrol-demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• mudgen / emoji-token

  View on GitHub
  💎 Token
  ☆10Jan 27, 2024Updated 2 years ago
• code-423n4 / 2022-05-cally

  View on GitHub
  ☆10Aug 28, 2023Updated 2 years ago
• madeinfree / ERC721-testcase

  View on GitHub
  ERC721 變體測試（ERC721, ERC721A, ERC721Solmate, ERC721Psi ...）
  ☆10Jul 18, 2022Updated 3 years ago
• indexed-finance / nirn

  View on GitHub
  ☆11Aug 4, 2021Updated 4 years ago
• nanobytetoken / nbt

  View on GitHub
  ☆10Apr 13, 2022Updated 3 years ago
• Power-Cash / PRCH

  View on GitHub
  A cross-chain cryptocurrency for the development of real businesses in construction and property management using decentralized . Power C…
  ☆10Jun 11, 2021Updated 4 years ago
• CatddleLabs / ERC721O

  View on GitHub
  A standard interface and implementation for omnichain non-fungible tokens based on ERC721.
  ☆10Apr 16, 2022Updated 3 years ago
• rubydusa / proof-of-life

  View on GitHub
  Circom Implementation of Conway's Game of Life
  ☆10Jan 24, 2023Updated 3 years ago
• allsportscoin / allsports

  View on GitHub
  The contract's source code of SOC
  ☆10Mar 17, 2021Updated 5 years ago
• SoulBoundProtocol / Soul

  View on GitHub
  Soulbound POAP
  ☆10Sep 1, 2022Updated 3 years ago
• simontianx / EIP3754

  View on GitHub
  Vanilla NFT Standard For Representing Abstract Ownership
  ☆11Jul 13, 2022Updated 3 years ago
• thirdweb-dev / niftyswap.gg

  View on GitHub
  Trade NFTs.
  ☆12Feb 24, 2022Updated 4 years ago
• altugbakan / altug-car

  View on GitHub
  AltugCar on 0xMonaco
  ☆10Aug 22, 2022Updated 3 years ago
• JTraversa / DefiHedge-Protocol

  View on GitHub
  The Decentralized Protocol for Interest-Rate Derivatives & Fixed-Rate Lending
  ☆11May 7, 2021Updated 4 years ago
• starlink-so / starlinkminerv2

  View on GitHub
  ☆10Feb 19, 2021Updated 5 years ago
• 01-finance / flux

  View on GitHub
  a decentralized, secure, non-custodial digital encryption asset mortgage lending protocol.
  ☆10Dec 7, 2021Updated 4 years ago
• Mini-Cardano / MiniCardano-Contract

  View on GitHub
  ☆10Aug 30, 2021Updated 4 years ago
• IronFinance / iron-vaults

  View on GitHub
  ☆10Jun 14, 2021Updated 4 years ago
• daog1 / txohack

  View on GitHub
  tx.origin attack case code
  ☆10Feb 18, 2022Updated 4 years ago
• MrToph / blobs-contracts

  View on GitHub
  ☆10Dec 12, 2022Updated 3 years ago
• Vectorized / QDES

  View on GitHub
  Quadratic Decay Exponential Surge
  ☆11Aug 22, 2022Updated 3 years ago
• pmerkleplant / Hats-Finance-Game-Solution

  View on GitHub
  A solution to hats.finance's first CTF challenge
  ☆10May 7, 2022Updated 3 years ago
• DRI-network / TrustKYC-contract

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

  View on GitHub
  open source code for Atstake
  ☆10Nov 11, 2020Updated 5 years ago
• chichicoding / degens.farm-contracts

  View on GitHub
  ☆10Nov 1, 2021Updated 4 years ago
• dipcatcher / maximus

  View on GitHub
  ☆10Apr 15, 2022Updated 3 years ago
• alice-finance / money-market

  View on GitHub
  Decentralized Money Market
  ☆10Jan 4, 2023Updated 3 years ago
• centrifuge / tinlake-maker-lib

  View on GitHub
  ☆10Jul 13, 2021Updated 4 years ago
• nawab69 / escrow-dapp

  View on GitHub
  A decentralized web Application build for Trading ETH , USDT, BNB (bep20) & BUSD for any digital assets p2p. It will run in both ethereu…
  ☆11Jul 26, 2021Updated 4 years ago
• wanseob / zk-optimistic-rollup

  View on GitHub
  ☆10Jan 24, 2023Updated 3 years ago
• vetherasset / vaderprotocol-contracts

  View on GitHub
  ☆10Aug 26, 2021Updated 4 years ago
• Scofield-Idehen / Lottery_Contract

  View on GitHub
  This contract allows for players to stake ETH and the pool is randomly shuffled and a winner is picked and immediately a new pool begins
  ☆11Jan 2, 2022Updated 4 years ago
• 0xkarmacoma / snow-operator-template

  View on GitHub
  A basic template for snow.computer operators
  ☆10Aug 28, 2022Updated 3 years ago
• verynifty / vnft-contracts

  View on GitHub
  Pet dapp
  ☆10Dec 16, 2020Updated 5 years ago
• GlassProtocol / oscillator

  View on GitHub
  ☆10Feb 22, 2022Updated 4 years ago
• Sweng0d / The-Roman-Empire

  View on GitHub
  The idea of this project is to allow anyone to create a roman citizen, with all the benefits or disadvantages of each type of person at t…
  ☆10Apr 2, 2022Updated 3 years ago
• bosmkamdi / BSCFLASHBOT

  View on GitHub
  Create and Deploy a Front Run Bot Sol Contract on BSC FLASHBOT
  ☆11Mar 19, 2022Updated 4 years ago
• PandoraDigital / smart-contract

  View on GitHub
  Smart contract for Pandora - A next-gen community-owned DEX
  ☆11Aug 2, 2024Updated last year
• ApeSwapFinance / apeswap-contracts

  View on GitHub
  A collection of smart contract tools and interfaces used by ApeSwap.
  ☆11Jul 7, 2023Updated 2 years ago