Abdullah Uyu's repositories

Language:TeXLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:LeanStargazers:2Issues:0Issues:0

resume

my resume

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

usavurdu

usavurdu, compilation of my certain poems

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

dotfiles

Essential dotfiles.

License:MITStargazers:0Issues:0Issues:0

equivalence-classes

Proofs of a few propositions on equivalence classes in Coq, inspired by the book "Notes for a Licenciatura".

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

osg-paper

Paper explaining the solution of an order search game

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

hatirlana

hatırlana, a collaborative monthly intellectual résumé.

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

letter

restrict input to write anagrammatic poems easily

Language:CLicense:MITStargazers:1Issues:0Issues:0

meram

a score inspired from meram's afternoon.

Language:LilyPondLicense:MITStargazers:0Issues:0Issues:0

coquille

Interactive theorem proving with Coq in vim.

Language:Vim scriptLicense:ISCStargazers:0Issues:0Issues:0