8000 ToposInstitute repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@ToposInstitute Topos Institute

Change the repository type filter

All

    Repositories list

    18 repositories

    • CatColab

      Public
      A collaborative environment for formal, interoperable, conceptual modeling
      Nix
      •
      MIT License
      •21•80•130•11•Updated Jul 4, 2025Jul 4, 2025

    • parmesan_benchmarks

      Public
      Python
      •0•2•0•0•Updated Jul 1, 2025Jul 1, 2025

    • tattle

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

    • fexplib

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

    • mathscope

      Public
      Python
      •1•3•2•0•Updated Jun 24, 2025Jun 24, 2025

    • bwd

      Public
      Backwards linked list for Rust
      Rust
      •0•1•0•0•Updated Jun 23, 2025Jun 23, 2025

    • forester.el

      Public
      An emacs package for forester
      Emacs Lisp
      •
      MIT License
      •1•8•1•0•Updated Jun 3, 2025Jun 3, 2025

    • emtt

      Public
      Element Model Type Theory
      Rust
      •0•3•0•0•Updated May 5, 2025May 5, 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•7•0•0•Updated Nov 22, 2024Nov 22, 2024

    • RelationalThinking-Book

      Public
      TeX
      •1•12•1•0•Updated Oct 9, 2024Oct 9, 2024

    • poly

      Public
      TeX
      •
      MIT License
      •8•116•0•2•Updated Jul 17, 2024Jul 17, 2024

    • nLab2024-corpus

      Public
      Jupyter Notebook
      •1•1•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•4•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•39•22•3•Updated Oct 8, 2023Oct 8, 2023
    0