Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Repository Index
47,133 repositories indexed
145–168 of 172 · Most stars
Micro implementation of network block device (NBD) for micropython
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.
Self-hosted DNS with Pi-hole + Unbound + Docker on Raspberry Pi
Trill touch sensor library for MicroPython.
- trill
- sensor
- bela
- micropython
Framework for programming FRC robots, inspired by Sertain Legacy and Meanlib
micropython SD card driver that works with LittleFS2 (implements extended interface)
A MicroPython module for working with RSA keys
Elysia-style MQTT application framework. Compose broker adapters, middleware, topic routers, validation, and services.
- aedes
- asyncapi
- bun
- elysia
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
Very simple MicroPython module to use a Microchip 23LC1024 SPI SRAM with a Raspberry Pi Pico (RP2040)
UART and I2C driver for GY33 module
Lightweight ftp library for MicroPython.
- micropython
- ftp
- asyncio
Cheap tally lights which support TSL 3.1 and 5.0 protocol. Software can be replaced by any other which works on WeMos D1 Mini. For example vTally.
class for work with BMP390 pressure sensor.
- micropython
- pressure
- sensor
- temperature
FRC NetworkTables for .NET. This is all old code and should not be used anymore.
An endpoint-to-endpoint encryption based on Diffie-Hellman-Merkle with TLS1.3 styled handshake using MicroPython
Read and write .toml files. works in MicroPython and CircuitPython.
kobold2mqtt is a gateway between a Vorwerk Kobold VR200 internet gateway and MQTT with the https://github.com/mqtt-smarthome topic and payload format.
- mqtt-smarthome
MicroPython module for work with TMP117, TMP119 temperature sensors from Texas Instruments
Very simple MicroPython module/driver for Microchip 24x256 and 24x512 I2C EEPROM devices
Very simple MicroPython module/driver for Microchip 47x16 EERAM devices (47L/47C)
A lightweight library for working with physical quantities