Skip to content
Change the repository type filter

All

    Repositories list

    • flux

      Public
      Composable, type-safe PDE solver framework in Zig
      Zig
      0341Updated Apr 30, 2026Apr 30, 2026
    • arbiter

      Public
      Multi-agent framework for design, simulation, and auditing.
      Rust
      GNU Affero General Public License v3.0
      7773601Updated Apr 22, 2026Apr 22, 2026
    • Python
      0000Updated Apr 2, 2026Apr 2, 2026
    • site

      Public
      Harness Lab's website
      TypeScript
      0031Updated Mar 22, 2026Mar 22, 2026
    • igneous

      Public
      computational geometry and topology in c++
      C++
      1651Updated Mar 7, 2026Mar 7, 2026
    • joy

      Public
      A sane C++ build tool
      Rust
      MIT License
      0201Updated Mar 6, 2026Mar 6, 2026
    • cova

      Public
      Abstract mathematics made computational
      Rust
      GNU Affero General Public License v3.0
      435202Updated Mar 1, 2026Mar 1, 2026
    • no-std implementation of the Ajtai commitment scheme
      Rust
      MIT License
      0901Updated Mar 1, 2026Mar 1, 2026
    • brand

      Public
      Harness Lab's branding and assets
      0000Updated May 25, 2025May 25, 2025
    • pha

      Public
      WIP: Dynamical systems -------->
      Python
      0200Updated May 24, 2025May 24, 2025
    • .github

      Public
      0000Updated Apr 19, 2025Apr 19, 2025
    • tensor

      Public
      messing around with types
      Rust
      MIT License
      1202Updated Feb 1, 2025Feb 1, 2025
    • time to get lean
      Lean
      1400Updated May 2, 2024May 2, 2024
    • sheaf

      Public
      cellular sheaves of arbitrary types
      Rust
      3771Updated Apr 25, 2024Apr 25, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.