Eric Finster (@ericfinster)
github

ericfinster

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    178
  • Global Rank 134,888 (Top 5 %)
  • Followers 74
  • Following 2
  • Registered over 13 years ago
  • Most used languages
    OCaml
         28.6 %
    Agda     28.6 %
    Scala
         21.4 %
    Haskell
         14.3 %
    Python
         7.1 %
  • Location 🇫🇷 France
  • Country Total Rank 3,430
  • Country Ranking
    Agda     1
    Scala
         48
    Haskell
         49
    OCaml
         67

Top 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

computope

A tool for manipulating weak omega-computopes
OCaml
2
star
13

wplatex

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

sbt-bnfc

SBT Plugin for the BNF Converter
Scala
1
star