HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Repository Index
59,621 visible repositories in the index
1,057–1,080 of 1,791 · Most stars
Check catkin packages for common errors
- python
- ros
- catkin
clockOS is an app that runs on a Raspberry Pi into a smart desktop clock.
A micro HTTP Web client for MicroPython (used on Pycom modules & ESP32)
- micropython
- esp32
- pycom
- web-client
Emulated Belkin WeMo device that works with Amazon Echo (Alexa) using MicroPython on an ESP32
- esp32
- micropython
- amazon-echo
- amazon-alexa
VBA WebSocket, WSS and TCP client with native TLS 1.2/1.3, MQTT, proxy, x86/x64. No COM, no DLLs, no installs.
Pure MicroPython driver for ST77xx displays. Low memory requirements.
Real internet services, not corporate promises
- self-hosting
- server
- debian-linux
- free-software
DS1302 RTC Clock driver for Micropython
- micropyhton
- micropython-esp32
- ds1302
- esp32
Linear MQTT Dashboard
⚡ Quickly setup my Raspberry Pi with Ansible !
- setup
- ansible
- automation
- raspberrypi
Reverse engineered schematics of the Game Boy's DMG-CPU B chip
- dmg-cpu
- game-boy
- gameboy
- kicad-schematics
MicroPython SSD1309 Monochrome OLED Display Driver
MicroPython driver for the AHT10 and AHT20 temperature and humidity sensors.
Syntax extension for embedded SQL queries using PG'OCaml.
Generates g-code from text with a hershey font
- hershey-fonts
- g-code
Adafruit IO for CircuitPython
- circuitpython
- adafruit-io
- rest-client
- mqtt-client
Convert SVG to Gcode
Gameboy CPLD implementation of MBC5/MBC1 Hybrid
Micropython Library for Lidar Sensor VL53L0X
- micropython
- wipy
- pycom-devices
- lidar
MicroPython library for controlling a Semtech SX127x LoRa module over SPI.
### This project has been merged ESPHelper. Please use https://github.com/ItKindaWorks/ESPHelper ### A port of the ESPHelper library for ESP32 devices
Arduino library for ESP32 that implements an SSH client to connect and execute commands in a remote Server.
Ada-language framework
- ada
- ada-language
- arm
- avr