Skip to content
Change the repository type filter

All

    Repositories list

    • CatColab

      Public
      A collaborative environment for formal, interoperable, conceptual modeling
      Rust
      MIT License
      146510916Updated Mar 15, 2025Mar 15, 2025
    • mathscope

      Public
      Python
      1320Updated Mar 11, 2025Mar 11, 2025
    • An emacs package for forester
      Emacs Lisp
      MIT License
      0600Updated Mar 9, 2025Mar 9, 2025
    • fexplib

      Public
      A simple "lower house" syntax for programming language experimentation
      Rust
      0100Updated Mar 3, 2025Mar 3, 2025
    • Python
      0200Updated Feb 11, 2025Feb 11, 2025
    • bwd

      Public
      Backwards linked list for Rust
      Rust
      0100Updated Feb 11, 2025Feb 11, 2025
    • tattle

      Public
      A library for reporting errors in compilers
      Rust
      MIT License
      0100Updated Feb 11, 2025Feb 11, 2025
    • HTML
      1900Updated Dec 22, 2024Dec 22, 2024
    • CT-corpus

      Public
      A directory to keep corpora in Category Theory, initially Leinster's book "Basic Category Theory"
      TeX
      0300Updated Nov 24, 2024Nov 24, 2024
    • 2700Updated Nov 22, 2024Nov 22, 2024
    • TeX
      11010Updated Oct 9, 2024Oct 9, 2024
    • poly

      Public
      TeX
      MIT License
      811302Updated Jul 17, 2024Jul 17, 2024
    • Jupyter Notebook
      0120Updated Jul 1, 2024Jul 1, 2024
    • This repository contains all the code presented in the online book "Relational Thinking - from Abstractions to Applications".
      Julia
      1400Updated Jun 28, 2024Jun 28, 2024
    • lean-poly

      Public
      Lean
      2600Updated May 18, 2024May 18, 2024
    • polytt

      Public
      A type theory with native support for Polynomial Functors.
      OCaml
      339223Updated Oct 8, 2023Oct 8, 2023