HashSetMap, K=hash(V),V=V | So uh.. yeah. HashSetMap. ⛓️
Seiro MCP is an MCP server focused on spatial computing development. Today it provides tools to safely run visionOS project builds from Codex CLI, supporting autonomous AI-assisted coding workflows.
Retry-safety analyzer for Solana transactions using state diffing.
A cargo extension for authoring WebAssembly components
A GitButler CLI tool
SP1 is a performant, 100% open-source, contributor-friendly zkVM.
RISC-V executor for SP1
A crate wrapping native executor in a separate process
Binary runner crate used by sp1-core-executor-runner
SP1 core machine definitions
CUDA integration for SP1 GPU proving
Elliptic curve implementations for SP1
No description provided.
No description provided.