-
-
-
solana-poker Public
Texas Hold'em Mental Poker on Solana - trustless card games using cryptographic protocols
-
SymbolicCryptographyLean Public
Forked from ravst/SymbolicCryptographyLeanA formally verified symbolic cryptography library for Lean
Lean Other UpdatedDec 9, 2025 -
fsn Public
FSN (Fusion) - 3D file manager from SGI IRIX, reconstructed from Ghidra decompilation
C UpdatedDec 7, 2025 -
ark-bn254-rocm Public
HIP/ROCm-accelerated BN254 field operations with arkworks integration for AMD GPUs
Rust UpdatedDec 4, 2025 -
leanblueprint Public
Forked from PatrickMassot/leanblueprintplasTeX plugin to build formalization blueprints.
Python Apache License 2.0 UpdatedNov 28, 2025 -
-
open-remote-ssh Public
Forked from jeanp413/open-remote-sshVSCode Remote Development: Open any folder on a remote machine using SSH.
TypeScript MIT License UpdatedNov 22, 2025 -
-
ark-feanor Public
Bridge between arkworks finite fields and feanor-math ring system
-
-
-
sbpf-zkvm Public
Zero-knowledge virtual machine (zkVM) that proves Solana BPF program execution using Halo2
-
algebra Public
Forked from arkworks-rs/algebraLibraries for finite field, elliptic curve, and polynomial arithmetic
Rust Apache License 2.0 UpdatedNov 12, 2025 -
-
cobolana Public
🔥 COBOL on Solana - Because 1959 deserves to run on the blockchain. The world's most absurd compiler: Enterprise COBOL → Solana BPF. It actually works.
-
sbpf-linker Public
Forked from blueshift-gg/sbpf-linkerAn upstream BPF linker for SBPF V0 programs
Rust MIT License UpdatedNov 7, 2025 -
groth16-solana Public
Forked from Lightprotocol/groth16-solanagroth16 verifier implementation with solana altbn syscalls
Rust Apache License 2.0 UpdatedNov 5, 2025 -
-
solana-sdk Public
Forked from anza-xyz/solana-sdkRust SDK for the Solana blockchain, used by on-chain program developers and the Agave validator
Rust Apache License 2.0 UpdatedNov 3, 2025 -
monero-rpc-rs Public
Forked from monero-rs/monero-rpc-rsRPC client for Monero daemon and wallet.
Rust Apache License 2.0 UpdatedNov 3, 2025 -
-
WebZjs Public
Forked from ChainSafe/WebZjsA fully-featured javascript/typescript library for interacting with the Zcash network from the browser
TypeScript Apache License 2.0 UpdatedOct 29, 2025 -
librustzcash Public
Forked from zcash/librustzcashRust-language assets for Zcash
Rust Other UpdatedOct 29, 2025 -
-
agentbox Public
Forked from tursodatabase/agentfsA sandbox for agents that intercepts filesystem operations.
Rust UpdatedOct 25, 2025 -
arch-arm64-avf Public
Arch Linux ARM for Android Virtualization Framework (AVF)
-
bifrost Public
Forked from Ozodimgba/bifrostWebTransport proxy for sending Solana transactions directly to validator TPUs from browsers
Rust GNU Affero General Public License v3.0 UpdatedOct 21, 2025 -
ziglana-the-return Public
Solana BPF programs using standard Zig compiler + sbpf-linker. Zero dependencies, direct syscalls via function pointers.
{{ message }}