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

☆13Apr 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

• 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
• 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
• yunusdefi / contract

  View on GitHub
  ☆12Nov 24, 2022Updated 3 years ago
• yfim2020 / YFIP

  View on GitHub
  Update YFIP Contract
  ☆10Oct 14, 2020Updated 5 years ago
• Mini-Cardano / MiniCardano-Contract

  View on GitHub
  ☆10Aug 30, 2021Updated 4 years ago
• allsportscoin / allsports

  View on GitHub
  The contract's source code of SOC
  ☆10Mar 17, 2021Updated 4 years ago
• chichicoding / degens.farm-contracts

  View on GitHub
  ☆10Nov 1, 2021Updated 4 years ago
• rubydusa / proof-of-life

  View on GitHub
  Circom Implementation of Conway's Game of Life
  ☆10Jan 24, 2023Updated 3 years ago
• ninjaswapapp / ninjaswap-core

  View on GitHub
  ☆10Jul 27, 2022Updated 3 years ago
• GreenMoonToken / GreenMoonZilla

  View on GitHub
  ☆10Nov 9, 2021Updated 4 years ago
• XYearnFinance / XYFIBorrow

  View on GitHub
  XYFI Collateral Vault Proxy Contract Source Code
  ☆10Nov 11, 2020Updated 5 years ago
• DFFNtoken / DFFN-Token

  View on GitHub
  Official DFFN token
  ☆10Jun 7, 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
• cnukaus / solana_batch

  View on GitHub
  scripts to batch move tokens between wallets etc
  ☆12Apr 14, 2024Updated last year
• rafasantama / OpenWeb3DAO

  View on GitHub
  Open Web3 Dapp and SmartContract Open Source Code DAO
  ☆10May 27, 2022Updated 3 years ago
• dipcatcher / maximus

  View on GitHub
  ☆10Apr 15, 2022Updated 3 years ago
• DRI-network / TrustKYC-contract

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

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

  View on GitHub
  ☆10May 29, 2021Updated 4 years ago
• PandoraDigital / smart-contract

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

  View on GitHub
  ☆10Aug 26, 2021Updated 4 years ago
• boosterfarm / boosterProtocol

  View on GitHub
  ☆10Nov 4, 2021Updated 4 years ago
• indexed-finance / nirn

  View on GitHub
  ☆11Aug 4, 2021Updated 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
• IronFinance / iron-vaults

  View on GitHub
  ☆10Jun 14, 2021Updated 4 years ago
• CompliFi / complifi-protocol-v1

  View on GitHub
  ☆10Jul 7, 2021Updated 4 years ago
• hossam-magdy / erc721-nft-zokrates-zksnarks

  View on GitHub
  Decentralized/blokchain-based real-estate listing project using ERC721 (NFT), zero-knowledge proofs (zk-SNARKS / ZoKrates), and open mark…
  ☆10Jan 1, 2022Updated 4 years ago
• XDCFoundation / XRC721-SMART-CONTRACT

  View on GitHub
  Non-fungible token implementation for XDC Hybrid Blockchains .
  ☆10Jan 9, 2023Updated 3 years ago
• daog1 / txohack

  View on GitHub
  tx.origin attack case code
  ☆10Feb 18, 2022Updated 4 years ago
• starlink-so / starlinkminerv2

  View on GitHub
  ☆10Feb 19, 2021Updated 5 years ago
• preginald / qi-dao-optimizer

  View on GitHub
  I created this bot is so that I could sleep at night knowing that my vaults are earning the maximum Qi rewards.
  ☆11Mar 31, 2022Updated 3 years ago
• trinhtan / uniswap-v2-totalContract

  View on GitHub
  ☆10Jun 10, 2022Updated 3 years ago
• davidngo239 / flashloanPancake

  View on GitHub
  ☆10Mar 25, 2022Updated 3 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
• thirdweb-dev / niftyswap.gg

  View on GitHub
  Trade NFTs.
  ☆12Feb 24, 2022Updated 4 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
• InjectiveLabs / 0x-exchange-omnibus

  View on GitHub
  0x Exchange infrastructure adapted to Solidity ^0.6.0
  ☆10Jun 12, 2021Updated 4 years ago