Robotics_with_Ada
by AdaCore
Robotics with Ada, ARM, and Lego
AI summary
Robotics interface demo
Demonstrates interfacing with Lego NXT Mindstorms sensors and effectors using Ada and low-cost ARM boards.
- stars
- 17
- forks
- 4
- watching
- 51
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
RC Car Demo
Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car.
Robotics interface library
A set of Ada bindings for the Player/Stage robotic platform
Microcontroller libraries
A collection of Ada source code and sample projects for microcontrollers
Railway simulator
Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.
GUI library
An Ada library for building graphical user interfaces with the GTK toolkit
emBRICK interface
Provides an Ada implementation of the emBRICK driver and support for using it
Dashboard
A modern dashboard for robotics competitions
Architecture demo
An Android app demonstrating current architecture and best practices using Kotlin, showcasing data management, networking, and UI components.
Rotation demo
Demonstrates serial communication and orientation data transfer from an IMU to control 3D model rotation
Sensor interface library
A C++ library for interfacing with an accelerometer/magnetometer/gyroscope sensor on various microcontrollers
Device binding generator
A tool for generating Ada bindings from ARM Cortex-M device SVD descriptions
Ada compiler setup
Automates installation of an Ada development environment.
Game Engine
Re-engineering the id-tech 4 engine with Ada, focusing on robust tasking systems and Vulkan graphics.
GPU compiler
A toolset that compiles Ada and SPARK code to NVIDIA GPUs
Accelerometer library
Provides a common interface and data type for the MMA8451 Accelerometer sensor
Featured in 1 awesome list
Each link jumps to the spot where the list mentions Robotics_with_Ada.
