Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Repository Index
47,133 repositories indexed
289–312 of 351 · Most stars
Sniff packet Communications Between Real Gameboy And Real Gameboy Printer
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.
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
- frc
- java-library
- control-systems
- hacktoberfest
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.
- api
- encryption
- integration
- iot
Bluetooth TUI based on Bluetoothctl
Evohome2mqtt bridge inspired to the mqtt-smarthome project.
- mqtt-smarthome
- evohome
- honeywell-evohome
Driver to digital sensor of Temperature, Pressure and Humidaty
An asyncio-based, memory-efficient HTTP/HTTPS/SOCKS4/SOCKS5 forward proxy server for MicroPython, compatible with CPython
Framework for programming FRC robots, inspired by Sertain Legacy and Meanlib
atwSCADA — Free SCADA Software in a Single HTML File | IEC 61850, OPC UA, Modbus TCP | 53 Function Blocks, 65 Graphic Elements | No Installation | Download Free Demo
- digital-substation
- hmi
- iec61850
- industrial-automation
A collection of Cycle.js drivers for programming robots
- cyclejs
- robotics
- reactive-programming
- functional-programming
Driver to digital sensor of UV Index/IR/Visible Light/Proximity
Small python TKinter Programm showing all MQTT topics in a tree view.
This project demonstrates how to interface the SHT11 sensor with a MicroPython-compatible ESP32 board (e.g., Lolin32 Lite) to measure temperature and relative humidity. It uses bit-banged communication and is written fully in MicroPython.
- micropython
- sht1x
- sht11
- sensor
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
A MicroPython module for working with RSA keys
Camera shot queue manager for live productions. Runs as an Electron desktop app with an embedded web server so phone browsers on the same LAN can monitor the live shot list.
MicroPython module for work with BH1750 Ambient Light Sensor (ALS)
MicroPython module for work with ENS160 Digital Metal-Oxide Multi-Gas Sensor.
- aqi
- co2
- micropython
- sensor
Express.js driver for Cycle.js
- cyclejs
- expressjs
- cycle-driver