ericfinster/computope ericfinster/computope

  • Stars
    star
    2
  • Language
    OCaml
  • Created 28 days ago
  • Updated 28 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ericfinster/computope
github

ericfinster

Reviews

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

Repository Details

A tool for manipulating weak omega-computopes

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

opetopictt

A type theory for opetopes
OCaml
5
star
12

wplatex

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

sbt-bnfc

SBT Plugin for the BNF Converter
Scala
1
star