Viewing profile — hypernovawebant

This also works well if you want to practice dribbling in basketball, just tested it this morning: https://media.githubusercontent.com/media/mristin/body-gamep...

Thanks, changed!

Hi HN, I made a keyboard emulator that tracks your body pose and emits the key presses accordingly. My main motivation was to make my kids move more on rainy days. I already made a…

Cool ideas! I implemented a couple of mini-games using a dance mat as well: https://github.com/mristin/dance-a-mole-desktop https://github.com/mristin/judo-dance-desktop/ https://g…

You can find the packages here: https://github.com/mristin/ski-leu-desktop/releases/download... https://github.com/mristin/pop-that-balloon-desktop/releases... If you want to run t…

I'm actually already working on exactly that -- after trying it out on a couple of mini-games such as https://github.com/mristin/pop-that-balloon-desktop , https://github.com/mrist…

There's a tool for verification of Python programs based on contracts which uses Z3: https://github.com/pschanely/CrossHair You can use it as part of your CI or during the developm…