Richard Hajek's repositories
environment-overseer
A smart anti-procrastination app
docker-script
Dockerfiles are universal scripts, but what if you just want the build artifact and are not interested in the container? This project enables that workflow!
CAF-collect-all-file-addon
Blender Addon to collect all used external files from a project
python-setuptools-package-template
This is an example of a setuptools package
arch-install-scripts
Useful scripts for installing Arch Linux
aurbot
Arch Linux User Repository Builder Bot (mirror)
cpython
The Python programming language
docker-selenium
Docker images for the Selenium Grid Server
Godot-Destructable-Terrain-Reborn
A smooth contour destructible terrain library for Godot 💣
home-devops
My home devops setup
MarioAI
Super Mario implementation for experimenting with AI algorithms in Java
SATNet-pep517-pep518
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
Sokoban4J
Sokoban for Java, tailored for casual playing but especially for creating custom artificial Sokoban agents.