Skip to content

@ToposInstitute Topos Institute

Change the repository type filter

All

    Repositories list

    26 repositories

    • CatColab

      Public
      A collaborative environment for formal, interoperable, conceptual modeling
      TypeScript
      •
      Apache License 2.0
      •49•158•143•27•Updated Apr 13, 2026Apr 13, 2026

    • forester.el

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

    • mathscope

      Public
      Python
      •1•4•2•0•Updated Apr 8, 2026Apr 8, 2026

    • parmesan_benchmarks

      Public
      Python
      •0•2•0•0•Updated Apr 7, 2026Apr 7, 2026

    • samod

      Public
      Rust
      •
      MIT License
      •18•0•0•0•Updated Mar 26, 2026Mar 26, 2026

    • fnotation

      Public
      A simple "lower house" syntax for programming language experimentation
      Rust
      •0•1•0•0•Updated Mar 19, 2026Mar 19, 2026

    • ts-rs

      Public
      Generate TypeScript bindings from Rust types
      Rust
      •
      MIT License
      •157•0•0•0•Updated Mar 17, 2026Mar 17, 2026

    • autosurgeon

      Public
      Rust
      •
      MIT License
      •30•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
      •238•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

    • emtt

      Public
      Element Model Type Theory
      Rust
      •0•4•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•10•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•130•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.