Skip to content
@ToposInstitute

Topos Institute

Pinned Loading

  1. poly poly Public

    TeX 113 8

  2. CatColab CatColab Public

    A collaborative environment for formal, interoperable, conceptual modeling

    Rust 43 8

  3. nlab-corpus nlab-corpus Public

    7 2

  4. tac-corpus tac-corpus Public

    HTML 8 1

Repositories

Showing 10 of 18 repositories
  • fexplib Public

    A simple "lower house" syntax for programming language experimentation

    ToposInstitute/fexplib’s past year of commit activity
    Rust 0 0 0 0 Updated Feb 11, 2025
  • bwd Public

    Backwards linked list for Rust

    ToposInstitute/bwd’s past year of commit activity
    Rust 0 0 0 0 Updated Feb 11, 2025
  • tattle Public

    A library for reporting errors in compilers

    ToposInstitute/tattle’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Feb 11, 2025
  • CatColab Public

    A collaborative environment for formal, interoperable, conceptual modeling

    ToposInstitute/CatColab’s past year of commit activity
    Rust 43 MIT 8 88 (18 issues need help) 11 Updated Feb 8, 2025
  • parmesan Public
    ToposInstitute/parmesan’s past year of commit activity
    Python 1 1 2 0 Updated Jan 21, 2025
  • tac-corpus Public
    ToposInstitute/tac-corpus’s past year of commit activity
    HTML 8 1 0 0 Updated Dec 22, 2024
  • CT-corpus Public

    A directory to keep corpora in Category Theory, initially Leinster's book "Basic Category Theory"

    ToposInstitute/CT-corpus’s past year of commit activity
    TeX 3 0 0 0 Updated Nov 24, 2024
  • nlab-corpus Public
    ToposInstitute/nlab-corpus’s past year of commit activity
    7 2 0 0 Updated Nov 22, 2024
  • RelationalThinking-Book Public
    ToposInstitute/RelationalThinking-Book’s past year of commit activity
    TeX 10 1 1 0 Updated Oct 9, 2024
  • parmesan_benchmarks Public
    ToposInstitute/parmesan_benchmarks’s past year of commit activity
    Python 1 0 0 0 Updated Aug 20, 2024
View all repositories

Most used topics

Loading…