ericfinster

Paris, France

Pinned Repositories

catt
Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
Language:Haskell13 4 01
catt.io
Revised Omega-categorical Typechecker
Language:OCaml23 5 143
higher-alg
An approach to higher algebra in type theory
Language:Agda23 6 02
hott-mgs
Homotopy Type Theory Exercises for MGS 2023
Language:Agda12 1 03
minitt
An implementation of MiniTT in Scala
Language:Haskell8 1 01
opetopes
Opetopes in ocaml
Language:OCaml6 2 01
opetopes-in-agda
Formalization of Opetopes and Opetopic Sets in Agda
Language:Agda16 4 01
opetopic
Web based opetopic editor
Language:Scala34 7 42
opetopic-types
Higher Algebra with Opetopic Types
Language:Agda13 7 01
orchard
Orchard Opetopic Proof Assistant
Language:Scala27 4 01

ericfinster's Repositories

ericfinster/opetopic
Web based opetopic editor
Language:Scala34 7 42
ericfinster/orchard
Orchard Opetopic Proof Assistant
Language:Scala27 4 01
ericfinster/catt.io
Revised Omega-categorical Typechecker
Language:OCaml23 5 143
ericfinster/higher-alg
An approach to higher algebra in type theory
Language:Agda23 6 02
ericfinster/opetopes-in-agda
Formalization of Opetopes and Opetopic Sets in Agda
Language:Agda16 4 01
ericfinster/catt
Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
Language:Haskell13 4 01
ericfinster/opetopic-types
Higher Algebra with Opetopic Types
Language:Agda13 7 01
ericfinster/hott-mgs
Homotopy Type Theory Exercises for MGS 2023
Language:Agda12 1 03
ericfinster/minitt
An implementation of MiniTT in Scala
Language:Haskell8 1 01
ericfinster/opetopes
Opetopes in ocaml
Language:OCaml6 2 01
ericfinster/opetopictt
A type theory for opetopes
Language:OCaml5 2 00
ericfinster/sbt-bnfc
SBT Plugin for the BNF Converter
Language:Scala2 1 0
ericfinster/bnfc
BNF Converter
Language:TeX1 2 0
ericfinster/HoTT
Homotopy type theory
Language:Verilog1 1 0
ericfinster/wplatex
Python tools for converting and uploading latex files to wordpress
Language:Python1 2 0
ericfinster/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 0
ericfinster/cheshire
Small Monadic Library for OCaml
Language:OCaml1 0
ericfinster/ericfinster.github.io
Personal Blog
Language:HTML1 0
ericfinster/jflex-scala
The fast scanner generator for Java
Language:Java1 0
ericfinster/sbt-bison
SBT Plugin for using the scala-bison parser generator
Language:Scala1 0
ericfinster/scala-bison
A recursive ascent/descent parser generator for Scala
Language:Scala1 0