Pinned Loading

1. vuinputd vuinputd Public

   container-safe mediation daemon for /dev/uinput

   Rust 5

2. containerized-headless-sunshine-howto containerized-headless-sunshine-howto Public

   Community guide for running Sunshine headlessly on Wayland in a container, without HDMI dummy plugs. Based on a systemd-nspawn setup on Ubuntu 24.04 with GPU access and vuinputd.

3. pemc pemc Public

   Probabilistic Executable Model Checker

   C++

4. isse-augsburg/ssharp isse-augsburg/ssharp Public

   S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .…

   C# 10 11