Pinned Repositories
asztrikx.github.io
backup
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
bme-bomberman-multiplayer
bme-chat-android
bme-opengl-raycast
hw-starter
mester-linux
FORRÁS/SOURCE: https://mester.inf.elte.hu
programming
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
asztrikx's Repositories
asztrikx/mester-linux
FORRÁS/SOURCE: https://mester.inf.elte.hu
asztrikx/programming
asztrikx/asztrikx.github.io
asztrikx/backup
asztrikx/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
asztrikx/bme-bomberman-multiplayer
asztrikx/bme-chat-android
asztrikx/bme-opengl-raycast
asztrikx/hw-starter
asztrikx/bme-chat-backend
asztrikx/bme-chat-react
asztrikx/bme-control-system
asztrikx/bme-cpu-raycast
asztrikx/bme-echo_simulation_fourier
asztrikx/bme-flutter
asztrikx/bme-heap_vector_dijkstra
asztrikx/bme-opengl-2d
asztrikx/bme-qt-spring-linux
asztrikx/bme-rete-EMF
asztrikx/bme-rete-git
Sample application for the Systems Engineering Laboratory. Do not clone this repository - use the fork provided by the lab instructors.
asztrikx/bomberman
asztrikx/cv-nottemplate
asztrikx/dotnet
Code snippets for .NET courses
asztrikx/graycode
Finds a subset of all possible graycodes (switch columns, rotate rows)
asztrikx/laborok
BMEVIAUAC00 Mobil és webes szoftverek című tárgy laborfeladatai
asztrikx/linexec
asztrikx/mester-windows
FORRÁS/SOURCE: https://mester.inf.elte.hu
asztrikx/physics-bme
IMSC tasks at BME in 2020, 2021
asztrikx/static-fileserver
asztrikx/theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms