Kammerjäger is a debugging tool with integrated correctness proving.
Python-based GUI for discrete-event system modeling and simulation
Visual Automation & UI Authoring
wxGraphicControls is a set of many customizable controls
Freeform II is a visual GUI editor for Liberty BASIC
Easily shutdown your computer
Google Colab GPU access in your favorite programming language