Sign in

Repository Index

47,133 repositories indexed

Tags: Hardware and IoT
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

241–264 of 353 · Most stars

Diagnostic-oriented MQTT client tool. Supports MQTT 5.0 and 3.1.X protocols, connections to multiple brokers, MQTT operations logs and multiple subscribe widgets with unique/history topic filtering mode. Saves configuration in browser's local cache.

:speaker: Sonos mqtt controller. Control your speakers from your mqtt server. mqtt-smarthome insprired.

  • mqtt-smarthome
  • sonos
  • sonos-speakers
  • mqtt

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)

  • ada
  • gnat
  • cortex
  • rts

Tamp is a low-memory, DEFLATE-inspired lossless compression library.

  • compression
  • deflate
  • heatshrink
  • lossless

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada