James Haydon (@jameshaydon)
github

jameshaydon

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    401
  • Global Rank 70,088 (Top 3 %)
  • Followers 89
  • Following 121
  • Registered over 13 years ago
  • Most used languages
    Haskell
         66.7 %
    Idris     25.0 %
    HTML
         8.3 %
  • Location 🇯🇵 Japan
  • Country Total Rank 1,774
  • Country Ranking
    Idris     1
    Haskell
         10
    HTML
         1,947

Top repositories

1

lawvere

A categorical programming language with effects
Haskell
266
star
2

idris-elixir

A code-generator for Idris that targets Elixir
Haskell
64
star
3

smproc

A well-typed symmetric-monoidal category of concurrent processes
Idris
23
star
4

idris-graphql

Idris GraphQL
Idris
16
star
5

optical-machines

State machines using optics
Haskell
7
star
6

diff-check

Reminders to check things generated by git diffs
Haskell
7
star
7

uk-portion-of-ICAO

Extract ICAO flight plan
Haskell
5
star
8

anki-prompt

Learn stuff at your terminal
Haskell
3
star
9

foo

foo
2
star
10

highercats

2
star
11

hermits

Hermit crab similation
Haskell
2
star
12

jameshaydon.github.io

My website
HTML
2
star
13

cospanProc

Composing coroutines via decorated cospans
Idris
1
star
14

explain

Haskell
1
star