projects
/
~bandali
/
cv
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
~bandali/cv
2017-05-20
Amin Bandali
Add Liquid Haskell to Tools
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-05-20
Amin Bandali
What I'm doing this summer
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-05-02
Amin Bandali
Mention my work on Literate Unit-B's type checker
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-02-02
Amin Bandali
Add high school diploma and average to Education
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-01-21
Amin Bandali
Add Recent Projects section
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2016-12-25
Amin Bandali
Update languages
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2016-12-24
Amin Bandali
Update Misc.
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2016-12-21
Amin Bandali
Add LICENSE
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2016-12-21
Amin Bandali
FakeBold is alright for print but too ugly on display...
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2016-12-19
Amin Bandali
Oops, forgot to link the template
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2016-12-19
Amin Bandali
Add README.md
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2016-12-19
Amin Bandali
Initial check-in
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)