njtromp - GitHub Analytics

@njtromp

null

Profile age: almost 15 years

Updated 4 days ago

2 followers • 1 following

No rank yet! You'll need 5 stars, 5 followers, or a merged PR in a 5★ repo to unlock your spot. You're just getting started - keep going!

N/A

Top 3 Languages By Stars

updated almost 8 years ago • age almost 8 years

Rascal94.1%

Java5.9%

updated almost 7 years ago • age almost 7 years

TeX100.0%

Subscribe to njtromp's GitHub rank updates in your messenger