Skip to content
@zorp-corp

Zorp Corp

Pinned Loading

  1. jock-lang jock-lang Public

    A simple scripting language that compiles to Nock.

    hoon 31 5

  2. nockapp nockapp Public

    A toolkit for simple functional applications with automatic persistence.

    hoon 60 6

  3. sword sword Public

    A modern Nock runtime with automatic persistence.

    Rust 97 17

Repositories

Showing 7 of 7 repositories
  • jock-lang Public

    A simple scripting language that compiles to Nock.

    zorp-corp/jock-lang’s past year of commit activity
    hoon 31 MIT 5 5 3 Updated Jan 3, 2025
  • sword Public

    A modern Nock runtime with automatic persistence.

    zorp-corp/sword’s past year of commit activity
    Rust 97 MIT 17 37 3 Updated Jan 3, 2025
  • nockapp Public

    A toolkit for simple functional applications with automatic persistence.

    zorp-corp/nockapp’s past year of commit activity
    hoon 60 MIT 6 1 10 Updated Jan 3, 2025
  • criterion-compare-action Public
    zorp-corp/criterion-compare-action’s past year of commit activity
    JavaScript 0 ISC 0 0 0 Updated Aug 13, 2024
  • rust-cache Public
    zorp-corp/rust-cache’s past year of commit activity
    TypeScript 0 LGPL-3.0 0 0 0 Updated Aug 13, 2024
  • mnist-hoon Public
    zorp-corp/mnist-hoon’s past year of commit activity
    hoon 16 2 0 1 Updated May 31, 2024
  • knock Public Forked from runtimeverification/knock

    Nock semantics in K

    zorp-corp/knock’s past year of commit activity
    Python 1 1 0 0 Updated Apr 1, 2023

People

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

Most used topics

nock rust