Michał Jóźwik's Projects
Niezła stronka
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
Minecraft mod for 1.11
Public repository for profile README
A fast, clean, responsive Hugo theme.
P2P communication library for Android
Terasology - open source voxel world
Kotlin implementation of Trustchain and IPv8 with rich networking: multihoming of local Bluetooth+4G, decentral social networking, UDP hole punching, etc.