Pinned Repositories
elementary_simulations
Simple visualization simulations.
elementary_visualizer
Simple visualization library.
formal_proof_verifier
Formal proof verifier
gentoo
The Gentoo ebuild repository mirror
glad
Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.
logic-tomassi-solutions
Exercise Solutions for Logic by Paul Tomassi
opengl_starter
Starter project for OpenGL applications
ossec-docs
OSSEC Documentation
portage
[MIRROR] Package management system
quantum-computation-and-quantum-information-solutions
Exercise Solutions for Quantum Computation and Quantum Information by Michael A. Nielsen & Isaac L. Chuang
gaboroszkar's Repositories
gaboroszkar/elementary_visualizer
Simple visualization library.
gaboroszkar/formal_proof_verifier
Formal proof verifier
gaboroszkar/opengl_starter
Starter project for OpenGL applications
gaboroszkar/quantum-computation-and-quantum-information-solutions
Exercise Solutions for Quantum Computation and Quantum Information by Michael A. Nielsen & Isaac L. Chuang
gaboroszkar/elementary_simulations
Simple visualization simulations.
gaboroszkar/gentoo
The Gentoo ebuild repository mirror
gaboroszkar/glad
Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.
gaboroszkar/logic-tomassi-solutions
Exercise Solutions for Logic by Paul Tomassi
gaboroszkar/ossec-docs
OSSEC Documentation
gaboroszkar/portage
[MIRROR] Package management system
gaboroszkar/qosf_task
Screening task solution for the Quantum Open Source Foundation mentorship program.
gaboroszkar/quantum-cryptography-presentation
Presentation which introduces quantum cryptography for university seminar
gaboroszkar/sigmamodel
Sigmamodel with external field for lattice particle physics calculations
gaboroszkar/thesis-msc
Masters thesis, Eötvös Loránd University, Physics
gaboroszkar/vim-erlang-tags
Generate Vim tags for Erlang files