rust-lang/opsem-team 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

rust-lang/opsem-team

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/rust-lang/opsem-team)

Close

rust-lang / opsem-teamView on GitHubMore

• External links
• Readme badge

Home of the operational semantics team, used primarily for procedural items

☆20Jan 4, 2025Updated last year

Alternatives and similar repositories for opsem-team

Users that are interested in opsem-team are comparing it to the libraries listed below

• paradigmxyz / homebrew-brew

  View on GitHub
  A homebrew tap
  ☆16Feb 23, 2026Updated last week
• 1Hive / credao

  View on GitHub
  Aragon DAOs for Github; leveraging SourceCred for token airdrops
  ☆14Jan 24, 2023Updated 3 years ago
• aragon / use-token

  View on GitHub
  💰 useToken() · No fuss Ethereum token metadata.
  ☆17Mar 8, 2023Updated 2 years ago
• ipsilon / evm-benchmarks

  View on GitHub
  A collection of Ethereum Virtual Machine benchmarks
  ☆22Jun 7, 2024Updated last year
• prakticode / html_css_projet_1

  View on GitHub
  ☆16May 31, 2024Updated last year
• firm-org / firm-protocol

  View on GitHub
  A protocol to create and run internet-native companies
  ☆41Mar 31, 2025Updated 11 months ago
• 1Hive / apiary

  View on GitHub
  Aragon DAO explorer
  ☆25Sep 12, 2020Updated 5 years ago
• iTeam-S / Dev-center

  View on GitHub
  Répertoire Principal pour les discussions global de l'organisation.
  ☆10Apr 10, 2022Updated 3 years ago
• alloy-rs / eips

  View on GitHub
  Rust implementations of Ethereum Improvement Proposals (EIPs)
  ☆49Updated this week
• flashbots / go-boost-utils

  View on GitHub
  Eth2 builder API types and signing for Golang
  ☆41Oct 27, 2025Updated 4 months ago
• CatalystCode / streaming-facebook

  View on GitHub
  A library for reading social data from Facebook using Spark Streaming.
  ☆11Jan 9, 2018Updated 8 years ago
• virtualritz / exifmv

  View on GitHub
  CLI to organize image files into a folder hierarchy based on EXIF data
  ☆11Dec 1, 2025Updated 3 months ago
• defaultkavy / danbooru-viewer

  View on GitHub
  A modern style viewer for Dannbooru or other Booru API base site.
  ☆13May 23, 2025Updated 9 months ago
• taiki-e / cargo-config2

  View on GitHub
  Load and resolve Cargo configuration.
  ☆18Updated this week
• Meph1587 / AuctionHouse

  View on GitHub
  Generalised ERC721 Auction House
  ☆12Dec 16, 2021Updated 4 years ago
• transmissions11 / reth-exex-walltime

  View on GitHub
  wall time exex for reth
  ☆12Aug 5, 2024Updated last year
• jsdir / blarg

  View on GitHub
  a humble blab.im clone
  ☆10Jan 3, 2017Updated 9 years ago
• sparkdotfi / sparklend-conduits

  View on GitHub
  Conduits for the Spark Protocol.
  ☆13Jun 6, 2025Updated 8 months ago
• deltadevsde / shard-sdk

  View on GitHub
  uwu stack
  ☆11Jan 8, 2025Updated last year
• aidenlangley / auto-save.nvim

  View on GitHub
  Mirror of https://git.sr.ht/~nedia/auto-save.nvim
  ☆11Oct 18, 2023Updated 2 years ago
• pine-finance / contracts-v2

  View on GitHub
  ☆14Jan 24, 2023Updated 3 years ago
• aroralanuk / hyperlane-exex

  View on GitHub
  PoC of a hyperlane validator built on top of reth
  ☆12Feb 9, 2025Updated last year
• 2xic / evm-bytecode-transpiler-to-venom-ir

  View on GitHub
  WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode
  ☆13Apr 27, 2025Updated 10 months ago
• erldocs / erldocs.com

  View on GitHub
  ☆11Feb 27, 2020Updated 6 years ago
• Gaon3 / ethers-literal

  View on GitHub
  ☆13Jun 30, 2023Updated 2 years ago
• brockelmore / MiniMutant

  View on GitHub
  Curta Challenge
  ☆16Apr 15, 2023Updated 2 years ago
• paradigmxyz / state_growth

  View on GitHub
  ☆16Mar 29, 2024Updated last year
• hensha256 / v2-on-v4

  View on GitHub
  ☆11May 4, 2024Updated last year
• alloy-rs / hardforks

  View on GitHub
  ☆16Feb 9, 2026Updated 3 weeks ago
• Tristramg / inouifi

  View on GitHub
  Display speed and realtime stops of the TGV inoui you are in
  ☆11Feb 4, 2024Updated 2 years ago
• tsirysndr / tononkira

  View on GitHub
  Search lyrics from tononkira.serasera.org.
  ☆12Sep 5, 2022Updated 3 years ago
• mds1 / multicall3-frontend

  View on GitHub
  https://multicall3.com
  ☆15Mar 10, 2025Updated 11 months ago
• steinerkelvin / rustie-ts

  View on GitHub
  Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
  ☆11Nov 14, 2024Updated last year
• fiveoutofnine / curta-paradigm-2023

  View on GitHub
  An NFT collection to commemorate players of the Curta team for their participation and performance in the 2023 Paradigm CTF.
  ☆11Nov 2, 2023Updated 2 years ago
• prestwich / stylus-permit

  View on GitHub
  ☆11Sep 12, 2023Updated 2 years ago
• ralexstokes / ethereum_consensus_monitor

  View on GitHub
  ☆12Nov 24, 2021Updated 4 years ago
• jhoh10 / Deep3D_Tensorflow

  View on GitHub
  ☆12May 12, 2017Updated 8 years ago
• aragon / protocol-dashboard

  View on GitHub
  Aragon Protocol Dashboard
  ☆11Sep 4, 2024Updated last year
• gaetan1903 / tononkira

  View on GitHub
  A simple python wrapper for https://tononkira.serasera.org
  ☆11Aug 9, 2022Updated 3 years ago