second-state/rust-ssvm 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

second-state/rust-ssvm

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/second-state/rust-ssvm)

Close

second-state / rust-ssvmView on GitHubMore

• External links
• Readme badge

Use EVMC binding SSVM and host written in Rust

☆15Dec 25, 2021Updated 4 years ago

Alternatives and similar repositories for rust-ssvm

Users that are interested in rust-ssvm are comparing it to the libraries listed below

• rust-tw / rfcs-tw

  View on GitHub
  Rust RFCs 正體中文翻譯
  ☆24Oct 23, 2023Updated 2 years ago
• second-state / AI-as-a-Service

  View on GitHub
  ☆15Oct 27, 2020Updated 5 years ago
• zetavg / twlm

  View on GitHub
  Taiwanese Mandarin LLM Project
  ☆19May 26, 2023Updated 2 years ago
• pwaller / go2ll

  View on GitHub
  Extremely experimental toy go compiler
  ☆19Oct 18, 2020Updated 5 years ago
• vorner / bytes-utils

  View on GitHub
  Additional utilities around the bytes crate
  ☆19Apr 19, 2025Updated 10 months ago
• starkware-libs / starkex-core

  View on GitHub
  ☆23Nov 17, 2022Updated 3 years ago
• tormol / map_in_place

  View on GitHub
  A rust library for reusing heap allocations
  ☆24Feb 9, 2020Updated 6 years ago
• racket / db

  View on GitHub
  ☆23Feb 21, 2026Updated last week
• dannypsnl / rocket

  View on GitHub
  Light-weight web framework for Go
  ☆26May 24, 2022Updated 3 years ago
• second-state / SewUp

  View on GitHub
  A library to help you sew up your Ethereum project with Rust and just like develop in a common backend
  ☆52Sep 11, 2023Updated 2 years ago
• grego / bset

  View on GitHub
  Fast and compact sets of bytes or ASCII characters
  ☆28Mar 13, 2021Updated 4 years ago
• ParaState / substrate-ssvm-node

  View on GitHub
  ☆31May 23, 2022Updated 3 years ago
• WasmEdge / wasmedge-rust-sdk

  View on GitHub
  Embed WasmEdge functions in a Rust host app
  ☆33Feb 10, 2026Updated 2 weeks ago
• lholznagel / arktur

  View on GitHub
  ☆38Jul 2, 2018Updated 7 years ago
• alephium / docs

  View on GitHub
  Everything about Alephium
  ☆12Feb 20, 2026Updated last week
• JockLawrie / MultinomialRegression.jl

  View on GitHub
  ☆11Oct 25, 2024Updated last year
• marcotav / choice-based-conjoint

  View on GitHub
  ☆13Feb 8, 2019Updated 7 years ago
• ujh / hamcrest-rust

  View on GitHub
  A port of Hamcrest to rust
  ☆93Jun 4, 2019Updated 6 years ago
• Vector35 / arch-armv7

  View on GitHub
  ARMv7 architecture plugin
  ☆40Mar 7, 2024Updated last year
• brenapp / mtrx

  View on GitHub
  Provides type-safe matrix operations using Rust's const generics
  ☆46Mar 14, 2022Updated 3 years ago
• urbit / star.market

  View on GitHub
  ☆10Mar 13, 2024Updated last year
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• cardea-mcp / servers

  View on GitHub
  A collection of "agentic" MCP servers
  ☆12May 17, 2025Updated 9 months ago
• tinybasic-rkt / tinybasic-rkt

  View on GitHub
  TinyBasic implementation in Racket (WIP)
  ☆13Apr 25, 2025Updated 10 months ago
• flows-network / discord-chatgpt

  View on GitHub
  A Discord ChatGPT Bot
  ☆10Aug 29, 2023Updated 2 years ago
• klesh / dict.sh

  View on GitHub
  Translate with style
  ☆11May 3, 2022Updated 3 years ago
• ice1000 / copilot-learning-materials

  View on GitHub
  My type-ups for copilot to learn from.
  ☆11Aug 30, 2022Updated 3 years ago
• islishude / bip32

  View on GitHub
  golang implements for BIP32-Ed25519
  ☆14Feb 20, 2026Updated last week
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• fordsec / racets

  View on GitHub
  Faceted execution in Racket
  ☆11Sep 11, 2018Updated 7 years ago
• cashwarden / docs

  View on GitHub
  Cashwarden application and API documentation.
  ☆10Mar 18, 2021Updated 4 years ago
• koengit / intuit

  View on GitHub
  An automated theorem prover for intuitionistic propostional logic
  ☆14Sep 21, 2020Updated 5 years ago
• radareorg / radare2-rlang

  View on GitHub
  Writing Radare2 plugins in various languages
  ☆18Sep 22, 2025Updated 5 months ago