Skip to content
@harnesslabs

Harness Labs

README.md

Hi there 👋

More to come later...

Pinned Loading

  1. cova cova Public

    Abstract mathematics made computational

    Rust 32 4

  2. arbiter arbiter Public

    Multi-agent framework for design, simulation, and auditing.

    Rust 726 78

Repositories

Showing 10 of 10 repositories
  • cova Public

    Abstract mathematics made computational

    harnesslabs/cova’s past year of commit activity
    Rust 32 AGPL-3.0 4 19 3 Updated Jan 1, 2026
  • cyclotomic Public

    no-std implementation of the Ajtai commitment scheme

    harnesslabs/cyclotomic’s past year of commit activity
    Rust 9 MIT 0 0 1 Updated Jan 1, 2026
  • arbiter Public

    Multi-agent framework for design, simulation, and auditing.

    harnesslabs/arbiter’s past year of commit activity
    Rust 726 AGPL-3.0 78 19 1 Updated Jun 15, 2025
  • site Public

    Harness Lab's website

    harnesslabs/site’s past year of commit activity
    TypeScript 0 0 3 0 Updated Jun 5, 2025
  • brand Public

    Harness Lab's branding and assets

    harnesslabs/brand’s past year of commit activity
    0 0 0 0 Updated May 25, 2025
  • pha Public

    WIP: Dynamical systems -------->

    harnesslabs/pha’s past year of commit activity
    Python 2 0 0 0 Updated May 24, 2025
  • .github Public
    harnesslabs/.github’s past year of commit activity
    0 0 0 0 Updated Apr 19, 2025
  • tensor Public

    messing around with types

    harnesslabs/tensor’s past year of commit activity
    Rust 2 MIT 1 0 2 Updated Feb 1, 2025
  • lean-curves Public

    time to get lean

    harnesslabs/lean-curves’s past year of commit activity
    Lean 4 1 0 0 Updated May 2, 2024
  • sheaf Public

    cellular sheaves of arbitrary types

    harnesslabs/sheaf’s past year of commit activity
    Rust 7 3 7 1 Updated Apr 25, 2024

Most used topics

Loading…