Harley D. Eades III (@heades)
github

heades

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    47
  • Global Rank 356,388 (Top 13 %)
  • Followers 67
  • Following 37
  • Registered over 12 years ago
  • Most used languages
    TeX
         30.8 %
    Agda     23.1 %
    Haskell
         23.1 %
    Coq     15.4 %
    OCaml
         7.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 71,149
  • Country Ranking
    Agda     22
    Coq     45
    OCaml
         465
    Haskell
         1,095
    TeX
         2,016

Top repositories

1

System-F-Coq

System F in coq.
Coq
19
star
2

cut-fill-agda

Agda sources used in my paper with Valeria de Paiva
Agda
8
star
3

ott-modified

This is a modified version of Ott 0.25
OCaml
4
star
4

Agda-LLS

An Implementation of Various Linear Logics in Agda
Haskell
3
star
5

law

The Lawvere Categorical Logic Library
Agda
2
star
6

LL-for-Linguists-

TeX
2
star
7

panfeed

A tool for managing RSS+Atom feeds for Pandoc based sites.
Haskell
2
star
8

FILLdialogical

Game semantics for FILL in the style of Lorenzen Games
TeX
1
star
9

substruct-logic-security-bib

This is a bibliography of papers using substructural logics in security
1
star
10

graphy

A simple way to create images of labeled/unlabeled directed/undirected graphs based on Graphviz and Haskell.
Haskell
1
star
11

dialectica-spaces

This is a formalization of dialectica spaces.
Agda
1
star
12

coLNL

A Cointuitionistic Adjoint Logic
TeX
1
star
13

multicategories

A note on multicategories.
TeX
1
star
14

cat-theory

Category Theory in Coq
Coq
1
star