Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
47,133 repositories indexed
1,273–1,296 of 1,568 · Most stars
Formally verified implementation of the CoAP protocol in SPARK/Ada
Sniff packet Communications Between Real Gameboy And Real Gameboy Printer
Helios EasyControls modbus tcp to mqtt-smarthome daemon
Micro implementation of network block device (NBD) for micropython
MicroPython Class for Debouncing Switches
Micropython code to control relays, temp sensors, buttons, touchscreen, gps etc. Has web ui, mqtt, home assistant and thingsboard support
Giza is trying to be a simple widget tool kit for embedded platforms
Micropython Driver for the HX711 weighing sensor
Explorer for Micropython Device
This MicroPython library provides a framework for interacting with HD44780-based LCD displays through a PCF8574 I/O expander. It offers a high-level API for LCD control, including text display, cursor manipulation, and backlight settings, while also providing lower-level access to the GPIO operations on the PCF8574.
Clock generators ( Si5351 for now ) toolbox.
Firebase Auth implementation for Micropython
Firebase Firestore implementation for Micropython.
Async MQTT client for micropython
MicroPython Driver for the Bosch BMP585, BMP581, BMP390, BMP280, and BME280 pressure sensors
Self-hosted DNS with Pi-hole + Unbound + Docker on Raspberry Pi
The software libraries that power all Raider Robotics projects
MQTT client
Quick integration toolkit for Ixian. Connects apps, IoT devices, AI Agents, and services to the Ixian Platform via REST APIs and message queues (MQTT/RabbitMQ). Provides developers with a simple bridge into secure Ixian communication and Client Discovery.
Numpy .npy file support for MicroPython - read/write/streaming
MicroPython driver for the Microchip MCP9808 temperature sensor
A systemVerilog implementation of Game Boy on DE1-SoC
Bluetooth TUI based on Bluetoothctl
MicroPython library for Xiaomi Mi Flora (aka. flower care) BLE plant sensors