HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Repository Index
47,133 repositories indexed
433–456 of 690 · Most stars
DS1302 RTC Clock driver for Micropython
- micropyhton
- micropython-esp32
- ds1302
- esp32
HomeMaster is an open-source platform for local-first smart home automation using ESP32-based devices like MiniPLC and MicroPLC. This repository includes firmware, schematics, and documentation for creating modular, cloud-free automation systems fully compatible with Home Assistant via ESPHome
- automation-controller
- embedded-systems
- esp32
- esphome
Adafruit IO for CircuitPython
- circuitpython
- adafruit-io
- rest-client
- mqtt-client
⚡ Quickly setup my Raspberry Pi with Ansible !
Convert SVG to Gcode
Arduino library for ESP32 that implements an SSH client to connect and execute commands in a remote Server.
Message Broker for IoT/Mobile/Web. Mainly uses MQTT v3.x and v5. Aims to be easy to use, scalable and reliable
Partial Port of Adafruit CircuitPython to Micropython of PN532 NFC/RFID control library (SPI)
- micropython
- nfc
- pn532
A Cycle.js Driver for using localStorage and sessionStorage.
Helmut Hoffer von Ankershoffen experimenting with auto-provisioned RPi cluster running K8S on bare-metal
Micropython code to drive stepper motors via ULN2003
🛡️ Free AI that blocks hackers while you sleep. Runs on cheap hardware. When someone in Tokyo gets attacked, you're protected in 30 seconds. No fees. No experts needed. Just protection. One node's detection → everyone's protection.
- ai-security
- cybersecurity
- ids
- iot-security
A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)
- pycom
- micropython
- lopy
- wipy
Connecting Arduino Prototyping board to Adobe AIR through an AIR Native Extension. Available for Windows and MacOSX.
With a clear and graphically appealing GUI you can access the system deeply, overclock the Pi or replace the entire desktop environment. Everything you need to use the Pi as a desktop computer. PiGro does many commands that have to be entered via the terminal with one or two clicks of a button.
- gui
- app-store
- gui-script
- install
Physical Bitcoin Stat Ticker
Open Source Rootzone Monitoring
- rootzone
- horticulture
- agriculture
- ph-monitoring
ROS QGIS Plugin prototype
A C++ Library for Linux based single board computers ( sbc ) to drive electronic displays. Developed and tested on Raspberry pi (5, 4 & 3).
- erm19264
- hd44780
- library
- nokia5110
Make your Chromecast devices discoverable and controllable via MQTT.
- chromecast
- chromecast-device
- python
- python3
A SIP monitoring script that publishes incoming calls with CallerID to an MQTT channel
Micropython package for doing fast rsa and elliptic curve cryptography, specifically digital signatures
- cryptography
- elliptic-curves
- micropython
- rsa
Particle sensor manager for multiple sensors: Honeywell, Plantower, Panasonic, Sensirion, etc. This is sensors layer of CanAirIO project too.
- pm25
- co2
- library
- esp32