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

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/secureum-kontrol)

Close

runtimeverification / secureum-kontrolView on GitHubMore

• External links
• Readme badge

☆10May 17, 2024Updated last year

Alternatives and similar repositories for secureum-kontrol

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

• Cyfrin / 2023-10-Puppy-Raffle

  View on GitHub
  ☆12Aug 20, 2024Updated last year
• waterfall-mkt / curta-write-ups

  View on GitHub
  Write-ups and content for Curta puzzles, problems, etc.
  ☆14Mar 25, 2024Updated last year
• StErMi / smartcontract-inspect

  View on GitHub
  Quickly open your favorite Web IDE to review the selected smart contract codebase
  ☆29Apr 8, 2024Updated last year
• tahos81 / ethernaut-bounty

  View on GitHub
  EthernautDAO reputation system
  ☆13Jun 1, 2022Updated 3 years ago
• cawfree / byth

  View on GitHub
  The behavioural indexer for Ethereum.
  ☆13Jun 13, 2024Updated last year
• aviggiano / security

  View on GitHub
  Security Reviews and Audit Checklists
  ☆131Jul 22, 2025Updated 8 months ago
• JetJadeja / flashloan-workshop-template

  View on GitHub
  A simple template repository containing the necessary files for the flash loan workshop.
  ☆10Nov 13, 2022Updated 3 years ago
• prestwich / ethers-aws-signer

  View on GitHub
  ☆23Aug 1, 2021Updated 4 years ago
• eliteWalrus4164 / foundry-poc-tutorial-II

  View on GitHub
  Part II of the tutorial for making a PoC in foundry for Immunefi
  ☆11Aug 29, 2022Updated 3 years ago
• sofa-org / sofa-protocol

  View on GitHub
  ☆10Sep 4, 2025Updated 6 months ago
• summa-tx / enhanced-tokens

  View on GitHub
  Advanced functionality for ERC20 tokens, as abstract inheritable contracts
  ☆20Jan 24, 2023Updated 3 years ago
• SikkerDapp / Sikker

  View on GitHub
  Decentralised Escrow system
  ☆10Jul 10, 2022Updated 3 years ago
• eqbtech / equilibria-contracts

  View on GitHub
  ☆13Jun 23, 2025Updated 9 months ago
• immunefi-team / bugfix-reviews-pocs

  View on GitHub
  ☆60Jul 19, 2024Updated last year
• powerpool-finance / powerpool-governance

  View on GitHub
  🗳️PowerPool protocol governance contracts on Ethereum and L2
  ☆10Sep 16, 2021Updated 4 years ago
• EYBlockchain / zokrates.js

  View on GitHub
  This is a Node.js wrapper around ZoKrates.
  ☆10May 18, 2020Updated 5 years ago
• bakaoh / solidity-dkim

  View on GitHub
  Verify DomainKeys Identified Mail signatures
  ☆11Jan 24, 2023Updated 3 years ago
• jtriley2p / tcontext

  View on GitHub
  ☆10Jan 31, 2024Updated 2 years ago
• MiloTruck / solmate-invariants

  View on GitHub
  Fuzzing solmate with medusa
  ☆10Aug 14, 2023Updated 2 years ago
• JJRuizDeveloper / solidity

  View on GitHub
  ☆10Jun 2, 2022Updated 3 years ago
• jtriley2p / vy-deepdive

  View on GitHub
  Vyper Deep Dive Notes and Scripts
  ☆25Aug 4, 2023Updated 2 years ago
• 0xwagmi / Cyfrin-foundry-challenges

  View on GitHub
  My solutions for the challenges of Pattrick Collins foundry course | on Arbitrum MainnetFork
  ☆12Jun 11, 2023Updated 2 years ago
• alexanderattar / solidity-tools

  View on GitHub
  General space for Solidity smart contract code and notes
  ☆10Nov 29, 2023Updated 2 years ago
• emilianobonassi / curve-whitehack-example

  View on GitHub
  Example of the whitehack for Curve exploit 30/07/23
  ☆19Aug 3, 2023Updated 2 years ago
• whyagents / credit-checks

  View on GitHub
  This repository will contain code the Zk-Snark for on-chain credit checks
  ☆10Dec 1, 2020Updated 5 years ago
• walimorris / opensquare

  View on GitHub
  OSINT Platform - Provides image analysis, digital footprints, video transcription and more. Retrieval Augmented Generation (RAG) capable …
  ☆11Jun 25, 2024Updated last year
• yAudit / CommonWeb3SecurityIssues

  View on GitHub
  Common security findings in smart contracts
  ☆126Dec 16, 2022Updated 3 years ago
• The-Stripes-NFT / solidity-contracts

  View on GitHub
  Solidity Contracts of The Stripes NFT
  ☆10Oct 26, 2021Updated 4 years ago
• pie-dao / pie-flash-loans-poc

  View on GitHub
  POC Generic Flash Loans
  ☆10Jan 24, 2023Updated 3 years ago
• LooksRare / contracts-exchange-v2

  View on GitHub
  LooksRare exchange contracts (v2)
  ☆11Oct 16, 2023Updated 2 years ago
• daoleno / deploy-uniswapv3-template

  View on GitHub
  Deploy UniswapV3 Template
  ☆10Nov 5, 2021Updated 4 years ago
• GigameshGarages / PromiseNet

  View on GitHub
  Convergent Curve Market Makers for Aggregating Flash Loans and Delegated Credit
  ☆10Feb 6, 2021Updated 5 years ago
• jtriley2p / inline-yul-style-guide

  View on GitHub
  A mostly mostly reasonable approach to inline Yul styling.
  ☆31Apr 19, 2024Updated last year
• Intercoin / CommunityCoinContract

  View on GitHub
  Contracts to let people stake various tokens and use the trust that was built up in Intercoin's factory code.
  ☆10Aug 21, 2024Updated last year
• pmerkleplant / Hats-Finance-Game-Solution

  View on GitHub
  A solution to hats.finance's first CTF challenge
  ☆10May 7, 2022Updated 3 years ago
• Amxx / EIP3074-Invokers

  View on GitHub
  ☆11Jul 30, 2021Updated 4 years ago
• Tokemak / v2-core-audit-2023-07-14

  View on GitHub
  ☆10Jul 14, 2023Updated 2 years ago
• Cyfrin / 2023-10-SteadeFi

  View on GitHub
  ☆10Jul 1, 2024Updated last year
• HausDAO / Moloch2.5

  View on GitHub
  Moloch 2.5 and Dao MInion Summoner
  ☆10Aug 20, 2022Updated 3 years ago