James Baker (@j-baker)
github

j-baker

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    86
  • Global Rank 231,664 (Top 8 %)
  • Followers 46
  • Following 10
  • Registered almost 16 years ago
  • Most used languages
    Java
         60.0 %
    Standard ML     20.0 %
    Shell
         20.0 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 9,950
  • Country Ranking
    Standard ML     5
    Java
         1,120
    Shell
         3,426

Top repositories

1

l1c

l1c is a simple formally verified compiler for a while language
Standard ML
55
star
2

loom-experiments

Java
17
star
3

vector-experiments

Java
9
star
4

breaktime-sh

Shell
3
star
5

Stegfinder

Java
1
star