Qt overclocking tool for GNU/Linux
GTK+ IRC client
Build your Chromium OS for Raspberry Pi 4B
Jupyter kernel for Coq
Old location for psmisc
Fast trigram based code search
Lightweight inference library for ONNX files, written in C++
lm-sensors repository
SCADA HMI for substations, IoT and automation applications
Fine-grained authorizations and single sign-on for SSH remote commands
A GUI system for embedded systems.
System for anonymous Web browsing
An electronic shelf label is a type of price tag
Autoclicker for Microsoft Windows
A benchmark suite for reliable testing of IP networks.
The Pocket Datalab
Free Lock Manager
A high quality MP3 encoder
Java-based ONC/RPC implementation