Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Repository Index
54,641 visible repositories in the index
49–59 of 59 · Most stars
The software libraries that power all Raider Robotics projects
- frc
- java-library
- control-systems
- hacktoberfest
Evohome2mqtt bridge inspired to the mqtt-smarthome project.
- mqtt-smarthome
- evohome
- honeywell-evohome
Micropython embedded LoRaWAN server
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
Micropython Generic Thermistor Library is a basic software module designed to simplify temperature sensing using NTC thermistors within MicroPython-based projects. The library assumes a generic NTC thermistor on the ground side of a voltage divider.
Homebrew micropython driver for msa301 3-axis accelerometer. Tested on Raspberry Pico.
- accelerometer
- driver
- micropython
- pico
This Micropython project is to Hack a TYWE3S board in a cheap WiFi RGB Bulb
This Micropython project is to Hack a Hyleton313 cheap WiFi smart socket
A hobbyist project to connect a character LCD to the PyBoard
simple solar regulator - Micropython project