Ashley Yakeley (@AshleyYakeley)
github

AshleyYakeley

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    144
  • Global Rank 158,553 (Top 6 %)
  • Followers 76
  • Registered about 11 years ago
  • Most used languages
    Haskell
         69.2 %
    Coq     7.7 %
    Dockerfile
         7.7 %
    Python
         7.7 %
    C
         7.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 35,040
  • Country Ranking
    Coq     92
    Dockerfile
         300
    Haskell
         353

Top repositories

1

stable-diffusion-rocm

Dockerfile
54
star
2

Truth

Changes and Pinafore projects. Pull requests not accepted.
Haskell
30
star
3

monadology

Haskell
7
star
4

maths

Just trying to learn Coq.
Coq
6
star
5

witness

Haskell
4
star
6

countable

Haskell
4
star
7

type-rig

Haskell
3
star
8

Recurrence

Haskell
2
star
9

leapseconds

Haskell
2
star
10

shotwell-tools

Tools to help manage Shotwell photo libraries
Python
2
star
11

diagrams-gi-cairo

Port of diagrams-cairo to haskell-gi
Haskell
1
star
12

sgtpuzzles

Variations on Simon Tatham's puzzle collection
C
1
star
13

open-witness

Haskell
1
star