ericfinster/opetopic ericfinster/opetopic

  • Stars
    star
    34
  • Rank 766,985 (Top 16 %)
  • Language
    Scala
  • Created over 9 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ericfinster/opetopic
github

ericfinster

Reviews

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

Repository Details

Web based opetopic editor

More Repositories

1

orchard

Orchard Opetopic Proof Assistant
Scala
27
star
2

catt.io

Revised Omega-categorical Typechecker
OCaml
23
star
3

higher-alg

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

opetopes-in-agda

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

catt

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

opetopic-types

Higher Algebra with Opetopic Types
Agda
13
star
7

hott-mgs

Homotopy Type Theory Exercises for MGS 2023
Agda
11
star
8

minitt

An implementation of MiniTT in Scala
Haskell
8
star
9

opetopes

Opetopes in ocaml
OCaml
6
star
10

opetopictt

A type theory for opetopes
OCaml
5
star
11

computope

A tool for manipulating weak omega-computopes
OCaml
2
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