A Software Development Kit (SDK) for Zero-Knowledge Transactions
Secure Smart Contract library for Solidity
Secure Smart Contract library for Solidity
A debug logger package for other Google libraries
[Optimism] L1 and L2 smart contracts for Optimism
Tunnels library for Visual Studio tools
TypeScript SDK for Denshokan — query game tokens via REST API and Starknet RPC with automatic fallback
Tunnels library for Visual Studio tools
Contracts for Optimism Specs
Minimal TypeScript bindings for Aleo address operations
Tunnels library for Visual Studio tools
A history of deployments of the Delegation Framework
Layer 2 precompiles and rollup for Arbitrum Nitro
Chainlink smart contracts for CCIP
Output Solidity contract sizes with Hardhat
🎛 Core contracts for the UniswapV2 protocol
🎚 Peripheral smart contracts for interacting with Uniswap V3
Secure Smart Contract library for Solidity
Chainlink smart contracts
🦄 Core smart contracts of Uniswap V3
Shared types and utilities for Rozenite agent packages
Contract abstraction meta-class for ethers.
This package reads Ink! metadata files to extract its information, and generates types and SCALE codecs for the types defined in the metadata.
aa-sdk compatible interfaces for Alchemy Smart Accounts
Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels
Provable-contracts integration for xpile — re-exports aprender-contracts (provable-contracts) and adds xpile-specific extensions.
CLI for provable-contracts — validate, scaffold, verify, status, audit
CLI for provable-contracts — validate, scaffold, verify, status, audit
High-performance SIMD compute library with GPU support, LLM inference engine, and GGUF model loading (was: trueno)
PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)
SIMD/GPU/WASM-accelerated visualization library for data science and ML
Terminal Top: 10X better than btop - Pure Rust system monitor with GPU support (NVIDIA/AMD/Apple), sovereign stack, zero-allocation rendering
Polyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer.
Bigint runtime for xpile-generated code — the slow-path side of the `C-PY-INT-ARITH` Layer-1 contract
Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels
Unified Simulation Engine for the Sovereign AI Stack