Repositories list

• flux

  Public
  Composable, type-safe PDE solver framework in Zig

  Zig

  •0•0•14•1•Updated Mar 24, 2026Mar 24, 2026

• site

  Public
  Harness Lab's website

  TypeScript

  •0•0•3•1•Updated Mar 22, 2026Mar 22, 2026

• geometry-flow-interp

  Public
  Python

  •0•0•0•0•Updated Mar 22, 2026Mar 22, 2026

• igneous

  Public
  computational geometry and topology in c++

  C++

  •1•6•5•1•Updated Mar 7, 2026Mar 7, 2026

• joy

  Public
  A sane C++ build tool

  Rust

  •

  MIT License

  •0•3•0•1•Updated Mar 6, 2026Mar 6, 2026

• arbiter

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

  rustsimulation-framework

  rustsimulation-framework

  Rust

  •

  GNU Affero General Public License v3.0

  •77•731•0•0•Updated Mar 2, 2026Mar 2, 2026

• cova

  Public
  Abstract mathematics made computational

  Rust

  •

  GNU Affero General Public License v3.0

  •4•35•20•2•Updated Mar 1, 2026Mar 1, 2026

• cyclotomic

  Public
  no-std implementation of the Ajtai commitment scheme

  Rust

  •

  MIT License

  •0•9•0•1•Updated Mar 1, 2026Mar 1, 2026

• brand

  Public
  Harness Lab's branding and assets

  0•0•0•0•Updated May 25, 2025May 25, 2025

• pha

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

  Python

  •0•2•0•0•Updated May 24, 2025May 24, 2025

• .github

  Public
  0•0•0•0•Updated Apr 19, 2025Apr 19, 2025

• tensor

  Public
  messing around with types

  Rust

  •

  MIT License

  •1•2•0•2•Updated Feb 1, 2025Feb 1, 2025

• lean-curves

  Public
  time to get lean

  Lean

  •1•4•0•0•Updated May 2, 2024May 2, 2024

• sheaf

  Public
  cellular sheaves of arbitrary types

  Rust

  •3•7•7•1•Updated Apr 25, 2024Apr 25, 2024