ericfinster/opetopictt ericfinster/opetopictt

  • Stars
    star
    5
  • Rank 2,792,269 (Top 57 %)
  • Language
    OCaml
  • Created almost 5 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ericfinster/opetopictt
github

ericfinster

Reviews

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

Repository Details

A type theory for opetopes

More Repositories

1

opetopic

Web based opetopic editor
Scala
34
star
2

orchard

Orchard Opetopic Proof Assistant
Scala
27
star
3

catt.io

Revised Omega-categorical Typechecker
OCaml
23
star
4

higher-alg

An approach to higher algebra in type theory
Agda
22
star
5

opetopes-in-agda

Formalization of Opetopes and Opetopic Sets in Agda
Agda
16
star
6

catt

Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
Haskell
13
star
7

opetopic-types

Higher Algebra with Opetopic Types
Agda
13
star
8

hott-mgs

Homotopy Type Theory Exercises for MGS 2023
Agda
11
star
9

minitt

An implementation of MiniTT in Scala
Haskell
8
star
10

opetopes

Opetopes in ocaml
OCaml
6
star
11

wplatex

Python tools for converting and uploading latex files to wordpress
Python
1
star
12

sbt-bnfc

SBT Plugin for the BNF Converter
Scala
1
star