Pinned Repositories
AdventOfCode
cveticiLeptirici
Repo za Chrome ekstenziju koja brise tvitove sa #caosvima
eprover
eprover_condensation
Eprover condensation improvements
FPInterpreter
John Backus' FP language interpreter (together with denotational semantics for the language)
home
:page_facing_up::briefcase::tophat: A simple Jekyll + GitHub Pages powered resume template.
phd-thesis-template
A LaTeX template for creating beautiful PhD theses, originally created by TU Delft.
VU-AaC-Headers
VU-AaC-RecDesc
Recursive Descent parser implemented using ANTLR lexer
VU-DSaA
Data Structures and Algorithms exercise framework
petarvukmirovic's Repositories
petarvukmirovic/FPInterpreter
John Backus' FP language interpreter (together with denotational semantics for the language)
petarvukmirovic/AdventOfCode
petarvukmirovic/cveticiLeptirici
Repo za Chrome ekstenziju koja brise tvitove sa #caosvima
petarvukmirovic/eprover
petarvukmirovic/eprover_condensation
Eprover condensation improvements
petarvukmirovic/home
:page_facing_up::briefcase::tophat: A simple Jekyll + GitHub Pages powered resume template.
petarvukmirovic/phd-thesis-template
A LaTeX template for creating beautiful PhD theses, originally created by TU Delft.
petarvukmirovic/VU-AaC-Headers
petarvukmirovic/VU-AaC-RecDesc
Recursive Descent parser implemented using ANTLR lexer
petarvukmirovic/VU-DSaA
Data Structures and Algorithms exercise framework