Skip to content
@ToposInstitute

Topos Institute

Pinned Loading

  1. poly poly Public

    TeX 127 9

  2. CatColab CatColab Public

    A collaborative environment for formal, interoperable, conceptual modeling

    TypeScript 145 42

  3. nlab-corpus nlab-corpus Public

    9 2

  4. tac-corpus tac-corpus Public

    HTML 9 1

Repositories

Showing 10 of 19 repositories
  • CatColab Public

    A collaborative environment for formal, interoperable, conceptual modeling

    ToposInstitute/CatColab’s past year of commit activity
    TypeScript 145 Apache-2.0 42 129 (16 issues need help) 26 Updated Feb 4, 2026
  • mathscope Public
    ToposInstitute/mathscope’s past year of commit activity
    Python 4 1 2 0 Updated Feb 3, 2026
  • parmesan_benchmarks Public
    ToposInstitute/parmesan_benchmarks’s past year of commit activity
    Python 2 0 0 0 Updated Feb 3, 2026
  • forester.el Public

    An emacs package for forester

    ToposInstitute/forester.el’s past year of commit activity
    Emacs Lisp 10 MIT 1 1 0 Updated Jan 29, 2026
  • elaboratorial Public
    ToposInstitute/elaboratorial’s past year of commit activity
    Haskell 3 BSD-3-Clause 0 0 0 Updated Jan 26, 2026
  • emtt Public

    Element Model Type Theory

    ToposInstitute/emtt’s past year of commit activity
    Rust 4 0 0 0 Updated Sep 22, 2025
  • fnotation Public

    A simple "lower house" syntax for programming language experimentation

    ToposInstitute/fnotation’s past year of commit activity
    Rust 1 0 0 0 Updated Sep 22, 2025
  • tattle Public

    A library for reporting errors in compilers

    ToposInstitute/tattle’s past year of commit activity
    Rust 2 MIT 0 0 0 Updated Aug 19, 2025
  • bwd Public

    Backwards linked list for Rust

    ToposInstitute/bwd’s past year of commit activity
    Rust 1 0 0 0 Updated Jul 10, 2025
  • pretty-util Public

    Utilities for working with pretty

    ToposInstitute/pretty-util’s past year of commit activity
    Rust 0 0 0 0 Updated Mar 19, 2025
View all repositories

Most used topics

Loading…