Skip to content
@homotopy-io

homotopy.io

A proof assistant implementing the theory of associative n-categories

Popular repositories Loading

  1. homotopy-rs homotopy-rs Public

    A Rust/WASM implementation of homotopy.io

    Rust 91 7

  2. homotopy-webclient homotopy-webclient Public

    JavaScript 27 5

  3. homotopy-core homotopy-core Public

    JavaScript 4

Repositories

Showing 3 of 3 repositories
  • homotopy-rs Public

    A Rust/WASM implementation of homotopy.io

    homotopy-io/homotopy-rs’s past year of commit activity
    Rust 91 BSD-3-Clause 7 87 10 Updated Jan 5, 2025
  • homotopy-webclient Public
    homotopy-io/homotopy-webclient’s past year of commit activity
    JavaScript 27 5 53 39 Updated May 6, 2024
  • homotopy-core Public
    homotopy-io/homotopy-core’s past year of commit activity
    JavaScript 4 0 1 5 Updated Feb 16, 2024

People

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

Top languages

Loading…

Most used topics

Loading…