Repositories list

• CatColab

  Public
  A collaborative environment for formal, interoperable, conceptual modeling

  Rust

  •

  MIT License

  •14•65•109•16•Updated Mar 15, 2025Mar 15, 2025

• mathscope

  Public
  Python

  •1•3•2•0•Updated Mar 11, 2025Mar 11, 2025

• forester.el

  Public
  An emacs package for forester

  Emacs Lisp

  •

  MIT License

  •0•6•0•0•Updated Mar 9, 2025Mar 9, 2025

• fexplib

  Public
  A simple "lower house" syntax for programming language experimentation

  Rust

  •0•1•0•0•Updated Mar 3, 2025Mar 3, 2025

• parmesan_benchmarks

  Public
  Python

  •0•2•0•0•Updated Feb 11, 2025Feb 11, 2025

• bwd

  Public
  Backwards linked list for Rust

  Rust

  •0•1•0•0•Updated Feb 11, 2025Feb 11, 2025

• tattle

  Public
  A library for reporting errors in compilers

  Rust

  •

  MIT License

  •0•1•0•0•Updated Feb 11, 2025Feb 11, 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•10•1•0•Updated Oct 9, 2024Oct 9, 2024

• poly

  Public
  TeX

  •

  MIT License

  •8•113•0•2•Updated Jul 17, 2024Jul 17, 2024

• nLab2024-corpus

  Public
  Jupyter Notebook

  •0•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

  •1•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