ToposInstitute/polytt ToposInstitute/polytt

  • Stars
    star
    37
  • Rank 715,477 (Top 15 %)
  • Language
    OCaml
  • Created over 1 year ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ToposInstitute/polytt
github

ToposInstitute

Reviews

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

Repository Details

A type theory with native support for Polynomial Functors.

More Repositories

1

poly

TeX
103
star
2

CatColab

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

RelationalThinking-Book

TeX
6
star
4

nlab-corpus

5
star
5

tac-corpus

HTML
5
star
6

p-func-workshop

HTML
3
star
7

lean-poly

Lean
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

parmesan_benchmarks

Python
1
star