⚔️
Memory Allocating
🎓 BME CE | 🔍 Formal Verification Researcher | 💻 Vue/.NET Full-Stack | 🛠️ DevOps & CI/CD
| 🏆 ICPC | Codeforces
- Budapest
-
05:28
(UTC -12:00) - https://klevisimeri.github.io/AboutMe/
- klevis.imeri
-
theta Public
Forked from ftsrg/thetaGeneric, modular and configurable formal verification framework supporting various formalisms and algorithms
Java Apache License 2.0 UpdatedOct 18, 2025 -
-
-
-
-
-
-
FedoraOSSetupScript Public
The file to setup the my operating system i use
Shell UpdatedSep 22, 2025 -
-
-
-
-
Diary Public
Just my thoughs if you want to have fun reading them.
CSS MIT License UpdatedAug 7, 2025 -
-
-
-
thesis-template-latex Public
Forked from ftsrg/thesis-template-latexThesis template for LaTeX documents.
TeX UpdatedJun 9, 2025 -
BlochSphere Public
Your simple and intuititve bloch sphere in the browser.
Svelte MIT License UpdatedMay 4, 2025 -
datadriven-lab Public
Forked from bmeviauac01/datadriven-labAdatvezérelt szoftverfejlesztés labor feladatok, Data-Driven Software Development Lab exercises
TSQL Other UpdatedApr 30, 2025 -
-
Debug.java Public
A General Helper Class For Text/Print Debugging in Java
Java MIT License UpdatedFeb 22, 2025 -
-
Integrator2 Public
Approximate integrals using Riemann sums in C++.
-
-
-
-
-
-
-
PomodoroCLI Public
A simple CLI pomodoro timer for Unix terminal in c++.
C++ MIT License UpdatedJan 16, 2025
Previous Next