A 2D Java game engine
Kammerjäger is a debugging tool with integrated correctness proving.
A TTCN-3-inspired testing environment in Python
Solve Differential Equations
Python-based GUI for discrete-event system modeling and simulation
Code generation model trained on 80+ languages with FIM support
Create a hardware front end for Blender UI and gaming engine.