ToposInstitute/poly ToposInstitute/poly

  • Stars
    star
    103
  • Rank 333,175 (Top 7 %)
  • Language
    TeX
  • License
    MIT License
  • Created almost 4 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ToposInstitute/poly
github

ToposInstitute

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

polytt

A type theory with native support for Polynomial Functors.
OCaml
37
star
2

CatColab

A collaborative environment for formal, interoperable, conceptual modeling
Rust
16
star
3

tac-corpus

HTML
7
star
4

nlab-corpus

6
star
5

RelationalThinking-Book

TeX
6
star
6

lean-poly

Lean
4
star
7

p-func-workshop

HTML
3
star
8

CT-corpus

A directory to keep corpora in Category Theory, initially Leinster's book "Basic Category Theory"
TeX
2
star
9

RelationalThinking-code

This repository contains all the code presented in the online book "Relational Thinking - from Abstractions to Applications".
Julia
2
star
10

parmesan

Python
2
star
11

nLab2024-corpus

Jupyter Notebook
1
star
12

parmesan_benchmarks

Python
1
star