Abdullah Uyu's repositories
Language:TeXMIT000
resume
my resume
Language:TeXMIT000
usavurdu
usavurdu, compilation of my certain poems
Language:TeXMIT000
dotfiles
Essential dotfiles.
MIT000
equivalence-classes
Proofs of a few propositions on equivalence classes in Coq, inspired by the book "Notes for a Licenciatura".
Language:CoqMIT000
osg-paper
Paper explaining the solution of an order search game
Language:TeXMIT000
hatirlana
hatırlana, a collaborative monthly intellectual résumé.
Language:TeXMIT000
meram
a score inspired from meram's afternoon.
Language:LilyPondMIT000
coquille
Interactive theorem proving with Coq in vim.
Language:Vim scriptISC000