https://github.com/isse-augsburg/ssharp/
GitHub - isse-augsburg/ssharp: S# is a formal modeling and safety analysis framework for...
S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal...
https://gnome.pages.gitlab.gnome.org/gtk/gdk4/const.KEY_ssharp.html
Gdk.KEY_ssharp
Reference for Gdk.KEY_ssharp
gdkkey