Mike Shulman (@mikeshulman)
github

mikeshulman

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    184
  • Global Rank 131,465 (Top 5 %)
  • Followers 190
  • Registered over 13 years ago
  • Most used languages
    TeX
         63.6 %
    Agda     18.2 %
    OCaml
         9.1 %
    Lean     9.1 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 29,749
  • Country Ranking
    Agda     8
    OCaml
         54
    Lean     88
    TeX
         179

Top repositories

1

narya

A proof assistant for higher-dimensional type theory
OCaml
135
star
2

catlog

Categorical logic from a categorical point of view
TeX
72
star
3

ohtt

H.O.T.T. using rewriting in Agda
Agda
37
star
4

cohesivett

Cohesive type theory
TeX
18
star
5

dirtt

Directed type theory for formal category theory
TeX
16
star
6

basictex

My basic LaTeX macros and BibTeX file.
TeX
9
star
7

hott-categories

Categories and the Rezk completion formalized in HoTT
TeX
5
star
8

agda-infinity-categories

Infinity categories in agda
Agda
4
star
9

ddcalc

Notes on calculus
TeX
3
star
10

math494

Lean
2
star
11

syntop

Constructive topology
TeX
2
star