Tim Nelson (@tnelson)
github

tnelson

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    98
  • Global Rank 210,785 (Top 8 %)
  • Followers 33
  • Following 7
  • Registered over 14 years ago
  • Most used languages
    Java
         28.6 %
    OCaml
         14.3 %
    Shell
         14.3 %
    Scheme
         14.3 %
    GLSL     14.3 %
    Racket
         14.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 50,078
  • Country Ranking
    Racket
         47
    Scheme
         169
    OCaml
         210
    GLSL     374

Top repositories

1

Forge

Forge: A Tool and Language for Teaching Formal Methods
Racket
67
star
2

FlowLog

OCaml
17
star
3

Margrave

The Margrave tool for policy analysis
Scheme
9
star
4

SortedTermCount

Counting terms in a sorted signature (Google App Engine)
Java
2
star
5

cs32-livecode

Public repository of templates and partial solutions for cs0320 livecode exercises
Java
1
star
6

flowlog-vm

Flowlog VM
Shell
1
star
7

forgebook

GLSL
1
star