Pinned Repositories
catt
Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
catt.io
Revised Omega-categorical Typechecker
higher-alg
An approach to higher algebra in type theory
hott-mgs
Homotopy Type Theory Exercises for MGS 2023
minitt
An implementation of MiniTT in Scala
opetopes
Opetopes in ocaml
opetopes-in-agda
Formalization of Opetopes and Opetopic Sets in Agda
opetopic
Web based opetopic editor
opetopic-types
Higher Algebra with Opetopic Types
orchard
Orchard Opetopic Proof Assistant
ericfinster's Repositories
ericfinster/opetopic
Web based opetopic editor
ericfinster/orchard
Orchard Opetopic Proof Assistant
ericfinster/catt.io
Revised Omega-categorical Typechecker
ericfinster/higher-alg
An approach to higher algebra in type theory
ericfinster/opetopes-in-agda
Formalization of Opetopes and Opetopic Sets in Agda
ericfinster/opetopic-types
Higher Algebra with Opetopic Types
ericfinster/catt
Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
ericfinster/hott-mgs
Homotopy Type Theory Exercises for MGS 2023
ericfinster/minitt
An implementation of MiniTT in Scala
ericfinster/opetopes
Opetopes in ocaml
ericfinster/opetopictt
A type theory for opetopes
ericfinster/computope
A tool for manipulating weak omega-computopes
ericfinster/sbt-bnfc
SBT Plugin for the BNF Converter
ericfinster/bnfc
BNF Converter
ericfinster/HoTT
Homotopy type theory
ericfinster/wplatex
Python tools for converting and uploading latex files to wordpress
ericfinster/agda
Agda is a dependently typed programming language / interactive theorem prover.
ericfinster/cheshire
Small Monadic Library for OCaml
ericfinster/ericfinster.github.io
Personal Blog
ericfinster/jflex-scala
The fast scanner generator for Java
ericfinster/sbt-bison
SBT Plugin for using the scala-bison parser generator
ericfinster/scala-bison
A recursive ascent/descent parser generator for Scala