Skip to content
@nockchain

Nockchain

Nock Community Co 🤖

Popular repositories Loading

  1. nockchain nockchain Public

    Nockchain protocol monorepo

    Rust 494 210

  2. jock-lang jock-lang Public

    A simple scripting language that compiles to Nock.

    hoon 56 10

  3. pure-nock-lean pure-nock-lean Public

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

    Lean 5

  4. Plonky3-recursion Plonky3-recursion Public

    Forked from Plonky3/Plonky3-recursion

    Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more

    Rust

Repositories

Showing 4 of 4 repositories
  • Plonky3-recursion Public Forked from Plonky3/Plonky3-recursion

    Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more

    nockchain/Plonky3-recursion's past year of commit activity
    Rust 0 Apache-2.0 18 0 0 Updated Oct 14, 2026
  • nockchain Public

    Nockchain protocol monorepo

    nockchain/nockchain's past year of commit activity
    Rust 494 Apache-2.0 210 11 53 Updated Oct 6, 2026
  • pure-nock-lean Public

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

    nockchain/pure-nock-lean's past year of commit activity
    Lean 5 Apache-2.0 0 1 0 Updated Aug 26, 2026
  • jock-lang Public

    A simple scripting language that compiles to Nock.

    nockchain/jock-lang's past year of commit activity
    hoon 56 MIT 10 2 5 Updated Mar 12, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Rust Lean hoon

Most used topics

Loading…