Skip to content

@ToposInstitute Topos Institute

Change the repository type filter

All

    Repositories list

    24 repositories

    • CatColab

      Public
      A collaborative environment for formal, interoperable, conceptual modeling
      TypeScript
      •
      Apache License 2.0
      •46•149•138•20•Updated Mar 6, 2026Mar 6, 2026

    • mathscope

      Public
      Python
      •1•4•2•0•Updated Mar 5, 2026Mar 5, 2026

    • parmesan_benchmarks

      Public
      Python
      •0•2•0•0•Updated Mar 3, 2026Mar 3, 2026

    • autosurgeon

      Public
      Rust
      •
      MIT License
      •28•0•0•0•Updated Feb 27, 2026Feb 27, 2026

    • oneml

      Public
      Rust
      •0•1•0•0•Updated Feb 26, 2026Feb 26, 2026

    • elaboratorial

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•3•0•0•Updated Feb 25, 2026Feb 25, 2026

    • automerge

      Public
      A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
      JavaScript
      •
      MIT License
      •234•0•0•0•Updated Feb 24, 2026Feb 24, 2026

    • automerge-doc-init-repro

      Public
      Rust
      •0•0•0•0•Updated Feb 24, 2026Feb 24, 2026

    • forester.el

      Public
      An emacs package for forester
      Emacs Lisp
      •
      MIT License
      •1•10•1•0•Updated Jan 29, 2026Jan 29, 2026

    • emtt

      Public
      Element Model Type Theory
      Rust
      •0•4•0•0•Updated Sep 22, 2025Sep 22, 2025

    • fnotation

      Public
      A simple "lower house" syntax for programming language experimentation
      Rust
      •0•1•0•0•Updated Sep 22, 2025Sep 22, 2025

    • systems-theories

      Public
      A menagerie of systems theories as compositional domain specific languages
      Rust
      •0•3•0•0•Updated Sep 4, 2025Sep 4, 2025

    • tattle

      Public
      A library for reporting errors in compilers
      Rust
      •
      MIT License
      •0•2•0•0•Updated Aug 19, 2025Aug 19, 2025

    • bwd

      Public
      Backwards linked list for Rust
      Rust
      •0•1•0•0•Updated Jul 10, 2025Jul 10, 2025

    • pretty-util

      Public
      Utilities for working with pretty
      Rust
      •0•0•0•0•Updated Mar 19, 2025Mar 19, 2025

    • tac-corpus

      Public
      HTML
      •1•9•0•0•Updated Dec 22, 2024Dec 22, 2024

    • CT-corpus

      Public
      A directory to keep corpora in Category Theory, initially Leinster's book "Basic Category Theory"
      TeX
      •0•3•0•0•Updated Nov 24, 2024Nov 24, 2024

    • nlab-corpus

      Public
      2•9•0•0•Updated Nov 22, 2024Nov 22, 2024

    • RelationalThinking-Book

      Public
      TeX
      •2•15•1•1•Updated Oct 9, 2024Oct 9, 2024

    • poly

      Public
      TeX
      •
      MIT License
      •9•129•1•2•Updated Jul 17, 2024Jul 17, 2024

    • nLab2024-corpus

      Public
      Jupyter Notebook
      •1•2•2•0•Updated Jul 1, 2024Jul 1, 2024

    • RelationalThinking-code

      Public
      This repository contains all the code presented in the online book "Relational Thinking - from Abstractions to Applications".
      Julia
      •2•5•0•0•Updated Jun 28, 2024Jun 28, 2024

    • lean-poly

      Public
      Lean
      •2•6•0•0•Updated May 18, 2024May 18, 2024

    • polytt

      Public
      A type theory with native support for Polynomial Functors.
      OCaml
      •3•42•22•3•Updated Oct 8, 2023Oct 8, 2023