Sign in

Repository Index

47,133 repositories indexed

Tags: Hardware and IoT
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

25–48 of 65 · Most stars

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

MicroPython library for the ESP8266 Geiger counter described here: https://hackaday.io/project/12933-esp8266-geiger-counter

A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.

  • decawave
  • dw1000
  • uwb
  • ranging-sensor