Skip to content
View ericfinster's full-sized avatar
76 followers · 2 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck
Block or Report

Block or report ericfinster

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. opetopic opetopic Public

    Web based opetopic editor

    Scala 34 2

  2. orchard orchard Public

    Orchard Opetopic Proof Assistant

    Scala 27 1

  3. higher-alg higher-alg Public

    An approach to higher algebra in type theory

    Agda 23 2

  4. catt.io catt.io Public

    Revised Omega-categorical Typechecker

    OCaml 23 3

  5. opetopes-in-agda opetopes-in-agda Public

    Formalization of Opetopes and Opetopic Sets in Agda

    Agda 16 1

  6. catt catt Public

    Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories

    Haskell 13 1