#

nockchain

Here are 6 public repositories matching this topic...

SWPSCO / aeroe

Premier wallet and mining client for Nockchain

wallet nock nockchain

Updated Jun 20, 2025
Svelte

nocktoshi / atomic-nock

cross chain swaps using hash timelock contracts

nockchain

Updated Jun 18, 2026
TypeScript

nockchain / pure-nock-lean

Machine-checked Lean 4 formalization of Pure Nock, the Nock language layer of Nockchain's verifiable-VM compilation framework (IACR ePrint 2025/1110)

formal-methods formal-verification nock lean4 zkvm nockchain

Updated Aug 26, 2026
Lean

SWPSCO / nockster

Open source wallet suite for Nockchain

android chrome-extension windows macos linux ios esp32 appimage nock nockchain

Updated Oct 5, 2026
Rust

nocktoshi / nock-wallet

nock web wallet

wallet web3 nockchain

Updated Jun 18, 2026
TypeScript

Ebrahim-hamdy / knox

A modern multisig vault for Nockchain, featuring a 100% client-side architecture, wallet-based encryption, and a decentralized transaction proposal engine.

react crypto web-assembly multisig decentralized-finance nockchain

Updated Jan 29, 2026
TypeScript

Add this topic to your repo

To associate your repository with the nockchain topic, visit your repo's landing page and select "manage topics."