Arduino core for the ESP32
Driver and tools for controlling Lenovo Legion laptops in Linux
Performance monitoring and benchmarking suite
Gideros Release version
Kepler (Kubernetes-based Efficient Power Level Exporter)
Optimise Linux system performance on demand
Embeddable, replicated and fault tolerant SQL engine
Linux kernel driver for Xbox One and Xbox Series X|S accessories
A single rod model rocket launch control system using the Arduino Nano
Manage and interpret IPMI systems with common a software tool
Market leading real time kernel for 40+ microcontroller architectures
acpid with netlink and input layer support
Control software for GEMBIRD USB controlled power strips
Helps to improve the life expectancy of an electronic device's battery
Modern, Midweight, Experimental Debian based distro.
IoT operating system for microcontrollers.
Analysis, visualization, edition of 3D atomistic models
A foundational avionics system for model rockets
IEC 104 Source code Library for Windows, Linux, QNX, Real time OS, ARM
Set Power Limits and Voltage Offsets for Intel CPUs on Linux
TOISWITCH is a general-Purpose smart-home server for ESP8266
dtpower is useful for monitoring the battery-state of unix laptops.
Collection of embedded softwares to control a telescope mount.