Jason Manuel
@jmanuel1Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.
Language Breakdown
Lines of code distribution across 55 owned repositories
T-Shaped Developer
T-shapedDeep in JavaScript with broad versatility
Collaboration Network
Global Impact visualization
Repos
107
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
José Valim
@josevalim
ieviev
@ieviev
John Benediktsson
@mrjbq7
Andrej Bauer
@andrejbauer
Kitamado
@Seasawher
Top Repositories
A poorly named Python-based concatenative programming language.
Automatically add an email to your local todo.txt when you star it.
Things I try to do in Idris.
Every request returns a different hex code—all 16,777,216 of them.
A new tab that opens other new tabs
A purely functional programming language with first class types
Simple task management application, based on Arthur Xavier's bachelor thesis, based on Phil Freeman's Comonads as spaces
Delimited control effects in Idris
Open Source Impact
Contributions to external projects