ControlCplusControlV/Scribe 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

ControlCplusControlV/Scribe

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/ControlCplusControlV/Scribe)

Close

ControlCplusControlV / ScribeView on GitHubMore

• External links
• Readme badge

Minimal Yul Transpilation to the Miden VM

☆52Jan 27, 2023Updated 3 years ago

Alternatives and similar repositories for Scribe

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

• recmo / yul

  View on GitHub
  ☆102Apr 24, 2023Updated 2 years ago
• mattiekat / cgraph

  View on GitHub
  A pure-std Rust computation graph library
  ☆15Jun 3, 2021Updated 4 years ago
• ricobank / multifab-draft

  View on GitHub
  SUPERCEDED by ricobank/multifab
  ☆20Jul 13, 2022Updated 3 years ago
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• Chainstride-Capital / aegis

  View on GitHub
  Shield your initial Uniswap liquidity from malicious actors
  ☆16Nov 10, 2021Updated 4 years ago
• ControlCplusControlV / Sushi-Sway

  View on GitHub
  Probably Nothing
  ☆12May 23, 2022Updated 3 years ago
• ControlCplusControlV / Yul-Log

  View on GitHub
  A Unified Yul+ Toolchain
  ☆44Oct 14, 2022Updated 3 years ago
• leonardoalt / sol-macros

  View on GitHub
  ☆33Oct 25, 2022Updated 3 years ago
• SorellaLabs / super-sol

  View on GitHub
  ☆11Sep 24, 2025Updated 5 months ago
• maxgillett / stark-attestations

  View on GitHub
  Share private EVM state attestations using STARK proofs
  ☆73Aug 4, 2022Updated 3 years ago
• rkrasiuk / op-reth

  View on GitHub
  ☆23Mar 4, 2023Updated 2 years ago
• emo-eth / sol-heap

  View on GitHub
  efficient libraries for working with min-heaps in solidity
  ☆23Jun 12, 2023Updated 2 years ago
• tahos81 / ethernaut-bounty

  View on GitHub
  EthernautDAO reputation system
  ☆13Jun 1, 2022Updated 3 years ago
• transmissions11 / headers-vy

  View on GitHub
  Generate perfect Vyper compatible code headers every time.
  ☆22Jul 30, 2022Updated 3 years ago
• primitivefinance / rmms-py

  View on GitHub
  Python simulator to test implementation of the RMMS paper results.
  ☆56Apr 27, 2022Updated 3 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• smartcontracts / opfp

  View on GitHub
  Mirror your Optimism NFTs on Ethereum
  ☆31Nov 10, 2022Updated 3 years ago
• simon-something / error-gas-test

  View on GitHub
  hardhat template to compare various error gas cost in solidity
  ☆23Dec 21, 2021Updated 4 years ago
• libevm / hp2

  View on GitHub
  Huff Proxies with Create2 (no SLOAD)
  ☆41Oct 23, 2022Updated 3 years ago
• leonardoalt / SolPrologV2

  View on GitHub
  A Prolog engine written in Solidity.
  ☆16Feb 19, 2022Updated 4 years ago
• protolambda / rollup-node-experiments

  View on GitHub
  rollup node experiments
  ☆15Jan 25, 2022Updated 4 years ago
• nelaturuk / loop-optimizer

  View on GitHub
  ☆13Apr 9, 2021Updated 4 years ago
• 0xalpharush / evm-disassembler

  View on GitHub
  EVM bytecode disassembler
  ☆25Jan 4, 2022Updated 4 years ago
• tarungog / geth_scan

  View on GitHub
  Scans the internet for open geth RPC clients
  ☆25Jul 2, 2017Updated 8 years ago
• leonardoalt / yools

  View on GitHub
  Tools for Yul.
  ☆138Mar 29, 2023Updated 2 years ago
• noir-lang / acvm-backend-barretenberg

  View on GitHub
  ☆41Aug 31, 2023Updated 2 years ago
• Will-Smith11 / reconnaissance

  View on GitHub
  A proxy node example using Reth!
  ☆93Aug 12, 2023Updated 2 years ago
• meoawtistic / ruff

  View on GitHub
  ☆37Jun 14, 2022Updated 3 years ago
• williamberman / evm-symbolic-execution

  View on GitHub
  ☆38Feb 11, 2022Updated 4 years ago
• Bind / forge-jig

  View on GitHub
  Storage Slot Math Begone (Beta)
  ☆26Jan 2, 2023Updated 3 years ago
• 0age / RStore

  View on GitHub
  RStore - use the runtime code of metamorphic contracts for dynamic storage.
  ☆19Apr 16, 2023Updated 2 years ago
• 0xMiden / crypto

  View on GitHub
  Cryptographic primitives used in Polygon Miden rollup
  ☆132Updated this week
• wilsoncusack / forge-squeeth

  View on GitHub
  ☆29Jan 26, 2022Updated 4 years ago
• 0xKitsune / evm-mnemonic

  View on GitHub
  A barebones framework for hand tuned smart contracts in pure opcodes.
  ☆48Aug 22, 2022Updated 3 years ago
• transmissions11 / levm

  View on GitHub
  Lightweight Lua EVM
  ☆59May 1, 2022Updated 3 years ago
• therealyingtong / plonkathon

  View on GitHub
  ☆11Jan 28, 2023Updated 3 years ago
• nonsense / filecoin-oracle

  View on GitHub
  ☆14Feb 16, 2021Updated 5 years ago
• 0xinugami / aztec-lido-bridge

  View on GitHub
  ☆12Feb 3, 2022Updated 4 years ago
• libevm / cfmm-routing-code

  View on GitHub
  Convex optimization for fun and profit.
  ☆11Jan 12, 2022Updated 4 years ago