Topos Institute

Pinned Repositories

CatColab
A collaborative environment for formal, interoperable, conceptual modeling
Language:Rust33 10 1238
CT-corpus
A directory to keep corpora in Category Theory, initially Leinster's book "Basic Category Theory"
Language:TeX3 6 00
lean-poly
Language:Lean6 6 12
nlab-corpus
6 6 02
p-func-workshop
Language:HTML3 11 02
poly
Language:TeX111 19 27
polytt
A type theory with native support for Polynomial Functors.
Language:OCaml39 8 353
RelationalThinking-Book
Language:TeX8 3 11
RelationalThinking-code
This repository contains all the code presented in the online book "Relational Thinking - from Abstractions to Applications".
Language:Julia41
tac-corpus
Language:HTML8 10 01

Topos Institute's Repositories

ToposInstitute/poly
Language:TeX111 19 27
ToposInstitute/polytt
A type theory with native support for Polynomial Functors.
Language:OCaml39 8 353
ToposInstitute/CatColab
A collaborative environment for formal, interoperable, conceptual modeling
Language:Rust33 10 1238
ToposInstitute/RelationalThinking-Book
Language:TeX8 3 11
ToposInstitute/tac-corpus
Language:HTML8 10 01
ToposInstitute/lean-poly
Language:Lean6 6 12
ToposInstitute/nlab-corpus
6 6 02
ToposInstitute/RelationalThinking-code
This repository contains all the code presented in the online book "Relational Thinking - from Abstractions to Applications".
Language:Julia41
ToposInstitute/CT-corpus
A directory to keep corpora in Category Theory, initially Leinster's book "Basic Category Theory"
Language:TeX3 6 00
ToposInstitute/p-func-workshop
Language:HTML3 11 02
ToposInstitute/nLab2024-corpus
Language:Jupyter Notebook1
ToposInstitute/parmesan
Language:Python11
ToposInstitute/parmesan_benchmarks
Language:Python1 5 00
ToposInstitute/AlgJulia-Book-Code
0 4 00
ToposInstitute/FMCS2024-talk
Priyaa's talk on Polynomial functors and LDCs
Language:TeX
ToposInstitute/TicketPickers
Language:TeX