Pinned Repositories
anaghadoesmath.github.io
blog.bkisc.com
Public repository for BKISC's blog site, deployed at https://blog.bkisc.com/
coq-tricks
Tricks you wish the Coq manual told you
Dark-TeXstudio
Colorful dark theme for TeXstudio
LaTeX-OCR
pix2tex: Using a ViT to convert images of equations into LaTeX code.
LiteCode
Documenting LeetCode problems solved, just in case I decide to sell myself out to Big Tech.
nasa-latex-docs
An easy and convenient package to create technical LaTeX documents.
theme-academic-cv
GraphDatabaseCliSer
OS Assignment - Client Server Architecture in C Language
PropertyManagementPLSQL_BITS_CSF212
A simple application to mediate management and sharing of properties between owners, tenants and view monthly reports for the property and the tenant.
anaghadoesmath's Repositories
anaghadoesmath/anaghadoesmath.github.io
anaghadoesmath/blog.bkisc.com
Public repository for BKISC's blog site, deployed at https://blog.bkisc.com/
anaghadoesmath/coq-tricks
Tricks you wish the Coq manual told you
anaghadoesmath/Dark-TeXstudio
Colorful dark theme for TeXstudio
anaghadoesmath/LaTeX-OCR
pix2tex: Using a ViT to convert images of equations into LaTeX code.
anaghadoesmath/LiteCode
Documenting LeetCode problems solved, just in case I decide to sell myself out to Big Tech.
anaghadoesmath/nasa-latex-docs
An easy and convenient package to create technical LaTeX documents.
anaghadoesmath/theme-academic-cv