mondokm

PhD student at Budapest University of Technology and Economics.

Budapest University of Technology and EconomicsHungary

Pinned Repositories

theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Language:Java49 19 14143
c11_codehunt_engine
Language:C++0 1 00
connect4
Language:Kotlin1 1 00
god_crossroad_demo
Language:HTML1 3 00
god_hello_demo
Language:Java1 1 00
igaztalan_rendorok_2021
Language:Swift1 1 00
ivt-lab
Language:Java10
kompressionsprogramm
Language:C00
mondokm.github.io
Language:TeX20
schachspiel
Language:HTML1 2 00

mondokm's Repositories

mondokm/mondokm.github.io
Language:TeX20
mondokm/connect4
Language:Kotlin1 1 00
mondokm/god_crossroad_demo
Language:HTML1 3 00
mondokm/god_hello_demo
Language:Java1 1 00
mondokm/igaztalan_rendorok_2021
Language:Swift1 1 00
mondokm/ivt-lab
Language:Java10
mondokm/schachspiel
Language:HTML1 2 00
mondokm/se-lab
Language:Java1
mondokm/c11_codehunt_engine
Language:C++0 1 00
mondokm/kompressionsprogramm
Language:C00
mondokm/digitaltechnik
Language:C
mondokm/gamma
The Gamma Statechart Composition Framework
Language:Xtend0 0
mondokm/ltlverif
Language:Java2
mondokm/modes3-smartcity
1 0
mondokm/PopularMovies
Language:Java1 0
mondokm/schachspiel-java
Language:HTML1 01
mondokm/softeng_lab
Language:Java