-
rust-ub Public
Convenient examples of undefined behavior in rust.
-
solar Public
Forked from paradigmxyz/solarBlazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Rust Apache License 2.0 UpdatedMar 29, 2025 -
-
-
vscode-lean4 Public
Forked from leanprover/vscode-lean4Visual Studio Code extension for the Lean 4 proof assistant
TypeScript Apache License 2.0 UpdatedFeb 25, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedFeb 21, 2025 -
infinity-cosmos Public
Forked from emilyriehl/infinity-cosmosA blueprint for a formalization of infinity-cosmos theory in Lean.
TeX Apache License 2.0 UpdatedJan 3, 2025 -
Coq-HoTT Public
Forked from HoTT/Coq-HoTTA Coq library for Homotopy Type Theory
Coq Other UpdatedNov 7, 2024 -
-
-
-
sp1 Public
Forked from succinctlabs/sp1A performant, 100% open-source, contributor-friendly zkVM.
Rust Apache License 2.0 UpdatedJul 10, 2024 -
-
mimalloc-bench Public
Forked from daanx/mimalloc-benchSuite for benchmarking malloc implementations.
C MIT License UpdatedJun 23, 2024 -
-
erigon-db Public
Fully typed access to the Erigon db in rust
-
libmdbx-rs Public
Forked from vorot93/libmdbx-rsRust bindings for MDBX
-
-
services Public
Forked from cowprotocol/servicesOff-chain services for Gnosis Protocol v2
Rust Other UpdatedJun 29, 2022 -
ethers-rs Public
Forked from gakonst/ethers-rsComplete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Rust Apache License 2.0 UpdatedJun 5, 2022 -
fastrlp Public
Forked from Rjected/fastrlpFast RLP serialization/deserialization library
-
akula Public
Forked from akula-bft/akulaNext-generation Ethereum implementation written in Rust
-
ethers-db Public
ethers-rs middleware interface for an Erigon db instance