Kammerjäger is a debugging tool with integrated correctness proving.
This allows you to exchange data between devices
Atari emulator for Android phones
Android app to control the Red CNC 3D routing machine
PSX emulator for Android phones
The next generation mud is an open-source extensible, programmable mud
C++ SIP stack based on Chrome source code
A choreography programming language for concurrent systems
www.youtube.com/@Akhona_Kama