violeta-kastreva

Computer Science, FMI - Sofia University

Bulgaria

Pinned Repositories

vertex-cover-np-c-formal-proof
Language:Coq00
predicting-music-genres
Language:Jupyter Notebook00
pop-lyrics-creator
Language:Jupyter Notebook00
pink-sweeper
Language:C++00
quizzical
Language:Java00
turing_machine
basic structure of the project
Language:C++10
automata-theory-teaching-notes
Exercises for the Automata Theory, Languages and Computation course I'm currently teaching at Sofia University, FMI
30
linear-algebra-teaching-notes
Exercises for the Linear Algebra course I'm currently teaching at Sofia University, FMI
20
coffee-and-pandas
Hackathon Repo
Language:Java00
Introduction-to-programming-2023-2024
Language:C++00

violeta-kastreva's Repositories

violeta-kastreva/vertex-cover-np-c-formal-proof
Language:Coq
violeta-kastreva/violeta-kastreva
violeta-kastreva/turing_machine
basic structure of the project
Language:C++1
violeta-kastreva/automata-theory-teaching-notes
Exercises for the Automata Theory, Languages and Computation course I'm currently teaching at Sofia University, FMI
3
violeta-kastreva/zzap-hackaton
violeta-kastreva/studydeck
Language:Java
violeta-kastreva/pop-lyrics-creator
Language:Jupyter Notebook
violeta-kastreva/Introduction-to-programming-2023-2024
Language:C++
violeta-kastreva/linear-algebra-teaching-notes
Exercises for the Linear Algebra course I'm currently teaching at Sofia University, FMI
2
violeta-kastreva/predicting-music-genres
Language:Jupyter Notebook
violeta-kastreva/pet-adoption-rates-research
Language:Jupyter Notebook
violeta-kastreva/wavelet-research
Language:Jupyter Notebook
violeta-kastreva/pink-sweeper
Language:C++
violeta-kastreva/coffee-and-pandas
Hackathon Repo
Language:Java
violeta-kastreva/quizzical
Language:Java