runtimeverification/publications 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/publications

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/publications)

Close

runtimeverification / publicationsView on GitHubMore

• External links
• Readme badge

Publications of Runtime Verification, Inc.

☆94Feb 18, 2026Updated 2 weeks ago

Alternatives and similar repositories for publications

Users that are interested in publications are comparing it to the libraries listed below

• pbshgthm / blacksmith

  View on GitHub
  Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in…
  ☆102Jul 19, 2022Updated 3 years ago
• plotchy / jop-foundry

  View on GitHub
  ☆21Mar 31, 2022Updated 3 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul

  View on GitHub
  ☆91Feb 15, 2021Updated 5 years ago
• code-423n4 / 2024-02-wise-lending-findings

  View on GitHub
  ☆10May 3, 2024Updated last year
• Certora / Tutorials

  View on GitHub
  Practical tutorials of Certora Prover
  ☆241Sep 27, 2023Updated 2 years ago
• digama0 / frat

  View on GitHub
  DRAT proof processor
  ☆16Apr 8, 2023Updated 2 years ago
• quilt / etk

  View on GitHub
  evm toolkit
  ☆359Jun 21, 2024Updated last year
• alcueca / solidity-mentorship

  View on GitHub
  An use case by use case program to learn solidity
  ☆26Aug 10, 2021Updated 4 years ago
• ZeroEkkusu / re-golf-course

  View on GitHub
  A list of common Solidity optimization tips and myths.
  ☆84Apr 24, 2022Updated 3 years ago
• theori-io / web3-publications

  View on GitHub
  Collection of Web3 Audits and Publications by ChainLight of Theori
  ☆14Oct 30, 2023Updated 2 years ago
• leonardoalt / ethereum_formal_verification_overview

  View on GitHub
  Overview of the formal verification projects in the Ethereum ecosystem.
  ☆337Mar 26, 2025Updated 11 months ago
• attestate / indexed-sparse-merkle-tree

  View on GitHub
  A dapptools-ready and gas-optimized implementation of a sparse merkle tree in Solidity.
  ☆95Nov 17, 2022Updated 3 years ago
• Dedaub / audits

  View on GitHub
  Repository containing past audit reports
  ☆54Nov 27, 2023Updated 2 years ago
• ZeroEkkusu / optimizooors-lab

  View on GitHub
  Measure gas savings with different Solidity optimizations
  ☆54Apr 17, 2022Updated 3 years ago
• d3or / ll-stack-solidity

  View on GitHub
  A stack implementation via a single linked list in solidity.
  ☆37Feb 19, 2022Updated 4 years ago
• 0xPhaze / Gachapon

  View on GitHub
  ☆11Jul 27, 2022Updated 3 years ago
• 0xkarmacoma / snow-computer-club

  View on GitHub
  ☆17Aug 29, 2022Updated 3 years ago
• Alexangelj / dcs

  View on GitHub
  Dungeon Crawler System
  ☆27Jan 5, 2022Updated 4 years ago
• privacy-ethereum / rln

  View on GitHub
  ☆19Jan 20, 2023Updated 3 years ago
• Certora / FoundryIntegration

  View on GitHub
  Certora integration with the Forge testing framework of Foundry
  ☆21Jun 8, 2023Updated 2 years ago
• refcell / rustbox

  View on GitHub
  Rust Primitives, Learnings, & Frameworks
  ☆17Mar 29, 2022Updated 3 years ago
• 0xbyte0 / tictactoe.sol

  View on GitHub
  An optimized tic-tac-toe game in solidity
  ☆26Aug 17, 2022Updated 3 years ago
• 0xClandestine / RemcoMath

  View on GitHub
  RemcoMathLib is a Gas optimized FullMath implementation inspired by Remco Bloemen.
  ☆31Aug 16, 2022Updated 3 years ago
• runtimeverification / beacon-chain-verification

  View on GitHub
  ☆17Mar 17, 2023Updated 2 years ago
• LogETH / commissions

  View on GitHub
  A Repository Containing Log's Commissions
  ☆10Feb 23, 2024Updated 2 years ago
• cairoeth / GOO-Racing

  View on GitHub
  A dynamic on-chain racing game with real simulations 🏎️
  ☆22Sep 26, 2022Updated 3 years ago
• nikkolasg / snarkpack

  View on GitHub
  snarkpack for arkwork
  ☆22Jun 11, 2023Updated 2 years ago
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• ga-reth / lil-defi

  View on GitHub
  Intentionally-limited adaptations of defi protocols, dapps, and concepts
  ☆32Jul 24, 2022Updated 3 years ago
• spearbit / echidna-spearbit-demo

  View on GitHub
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆31Jul 9, 2022Updated 3 years ago
• hjorthjort / DeadfrenzAttack

  View on GitHub
  A reentrancy attack on the Deadfrenz Lab Pass contract
  ☆19Feb 20, 2022Updated 4 years ago
• julianjca / erc721-nft-drop

  View on GitHub
  ☆17Jan 30, 2022Updated 4 years ago
• refcell / archived-parcels

  View on GitHub
  Modern, Opinionated Multicall Library
  ☆23Feb 27, 2022Updated 4 years ago
• zkSoju / zen

  View on GitHub
  Zen is a token trading protocol for transferring NFTs P2P.
  ☆15Sep 7, 2022Updated 3 years ago
• brockelmore / graphstack

  View on GitHub
  ☆55Oct 4, 2022Updated 3 years ago
• virtualjpeg / blocky

  View on GitHub
  ☆36Feb 8, 2022Updated 4 years ago
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• hackenproof-public / node-terminal-contracts

  View on GitHub
  ☆27Sep 25, 2024Updated last year
• ethereum / eth2.0-tests

  View on GitHub
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Apr 29, 2019Updated 6 years ago