James Deikun (@xplat)
github

xplat

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    21
  • Global Rank 621,339 (Top 22 %)
  • Followers 17
  • Registered about 14 years ago
  • Most used languages
    Agda     33.3 %
    Haskell
         33.3 %
    Shell
         33.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 109,783
  • Country Ranking
    Agda     38
    Haskell
         2,470

Top repositories

1

agda-tactics

Reflective proof tactics and metaprogramming for Agda.
10
star
2

potpourri

things too small to be separate projects
Agda
4
star
3

tubular

stream your IO through a series of tubes
1
star
4

tinymisc

miscellaneous stuff related to TinyAgda
Shell
1
star
5

extls

TLS connections primarily for intranet and extranet uses
Haskell
1
star