Skip to content
@ToposInstitute

Topos Institute

Pinned Loading

  1. poly poly Public

    TeX 133 10

  2. CatColab CatColab Public

    A collaborative environment for formal, interoperable, conceptual modeling

    TypeScript 197 53

  3. nlab-corpus nlab-corpus Public

    10 2

  4. tac-corpus tac-corpus Public

    HTML 9 1

Repositories

Showing 10 of 30 repositories
  • CatColab Public

    A collaborative environment for formal, interoperable, conceptual modeling

    ToposInstitute/CatColab's past year of commit activity
    TypeScript 197 Apache-2.0 53 151 (14 issues need help) 34 Updated Sep 14, 2026
  • automerge Public Forked from automerge/automerge

    A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

    ToposInstitute/automerge's past year of commit activity
    JavaScript 0 MIT 276 0 0 Updated Sep 10, 2026
  • mathscope Public
    ToposInstitute/mathscope's past year of commit activity
    Python 4 1 2 0 Updated Sep 3, 2026
  • rulett Public

    Prototype of rule-based modeling designed using category theory and type theory

    ToposInstitute/rulett's past year of commit activity
    Rust 4 MIT 0 4 1 Updated Aug 5, 2026
  • parmesan_benchmarks Public
    ToposInstitute/parmesan_benchmarks's past year of commit activity
    Python 2 0 0 0 Updated Jul 21, 2026
  • automerge-repo Public Forked from automerge/automerge-repo
    ToposInstitute/automerge-repo's past year of commit activity
    TypeScript 0 MIT 109 0 0 Updated Jul 14, 2026
  • echarts-solid Public Forked from alxnddr/echarts-solid

    SolidJS components for ECharts

    ToposInstitute/echarts-solid's past year of commit activity
    TypeScript 0 MIT 3 0 0 Updated May 22, 2026
  • quarto-category-link-bug-repro Public
    ToposInstitute/quarto-category-link-bug-repro's past year of commit activity
    Nix 0 0 0 0 Updated May 6, 2026
  • automerge-doc-init-repro Public
    ToposInstitute/automerge-doc-init-repro's past year of commit activity
    Rust 0 0 0 0 Updated Apr 22, 2026
  • forester.el Public

    An emacs package for forester

    ToposInstitute/forester.el's past year of commit activity
    Emacs Lisp 10 MIT 2 2 0 Updated Apr 12, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…