projects
/
~bandali
/
cv
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add TA work experience for fall 2017
2017-09-30
Amin Bandali
Add TA work experience for fall 2017
commit
|
commitdiff
|
tree
2017-08-30
Amin Bandali
Update research interests and conference presentations
commit
|
commitdiff
|
tree
2017-06-25
Amin Bandali
Break some long lines
commit
|
commitdiff
|
tree
2017-06-25
Amin Bandali
Section updates
commit
|
commitdiff
|
tree
2017-06-25
Amin Bandali
Update README.md
commit
|
commitdiff
|
tree
2017-06-25
Amin Bandali
Visual updates
commit
|
commitdiff
|
tree
2017-05-20
Amin Bandali
Add Liquid Haskell to Tools
commit
|
commitdiff
|
tree
2017-05-20
Amin Bandali
What I'm doing this summer
commit
|
commitdiff
|
tree
2017-05-02
Amin Bandali
Mention my work on Literate Unit-B's type checker
commit
|
commitdiff
|
tree
2017-02-02
Amin Bandali
Add high school diploma and average to Education
commit
|
commitdiff
|
tree
2017-01-21
Amin Bandali
Add Recent Projects section
commit
|
commitdiff
|
tree
2016-12-25
Amin Bandali
Update languages
commit
|
commitdiff
|
tree
2016-12-24
Amin Bandali
Update Misc.
commit
|
commitdiff
|
tree
2016-12-21
Amin Bandali
Add LICENSE
commit
|
commitdiff
|
tree
2016-12-21
Amin Bandali
FakeBold is alright for print but too ugly on display...
commit
|
commitdiff
|
tree
2016-12-19
Amin Bandali
Oops, forgot to link the template
commit
|
commitdiff
|
tree
2016-12-19
Amin Bandali
Add README.md
commit
|
commitdiff
|
tree
2016-12-19
Amin Bandali
Initial check-in
commit
|
commitdiff
|
tree