Eric Finster (@ericfinster)
github

ericfinster

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    178
  • Global Rank 130,624 (Top 5 %)
  • Followers 74
  • Following 2
  • Registered about 13 years ago
  • Most used languages
    Agda     30.8 %
    Scala
         23.1 %
    OCaml
         23.1 %
    Haskell
         15.4 %
    Python
         7.7 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 3,430
  • Country Ranking
    Agda     1
    Scala
         48
    Haskell
         49
    OCaml
         66
    Python
         9,846

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

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