Index repo for Kimera code
- robotics
- computer-vision
- semantics
- 3d-reconstruction
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
Real-Time 3D Semantic Reconstruction from 2D data
- semantic-segmentation
- volumetric-reconstruction
- 3d-reconstruction
- robotics
Spectacular C# MQTT and Sparkplug Clients for .NET
- mqtt
- iot
- iot-application
- mqtt-client
A secure and high performances microkernel for building secure MCU-based IoTs
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
MicroPython compatible implementation of the Eclipse Sparkplug B Specification
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
SPARK/Ada drivers for the DecaWave EVB1000 evaluation board