Martin Smutný's repositories
WaterSurfaceRendering
Real-time 3D water surface generation and rendering using C++ and Vulkan
OpenGL_Atmospheric_Scattering
Atmospheric scattering written in C++ using OpenGL
ProceduralTerrain
Procedural terrain generation using OpenGL and C++
Scoreboard
A terminal like app, shows a table with ranking, players and player scores, e. g. for LAN parties
2ls
Static Analyzer and Verifier
2ls_Bachelor_Thesis
Implementation of Invariant Imprecision Indentification for various domains, part of Bachelor Thesis at BUT FIT. Will be later integrated into forked repo and proposed pull request.
ESP8266-LED-Control-Center
Embedded Systems Project - Using ESP8266 NodeMCU DevKit v1.0 in AP mode, control of LEDs using Web interface
Haskell_Playground
Learning functional programming in Haskell
Minimize-DFA
Minimization of DFA using equivalence theorem, written in Haskell
SimpleGraphicsLibrary
A simple library for learning and experimenting with Graphics APIs
Hazel
Hazel Engine
k380-function-keys-conf
Make function keys default on Logitech k380 bluetooth keyboard
Record-Replay-Keystrokes
Python scripts to record and replay keystrokes