Robotics_with_Ada
Robotics interface demo
Demonstrates interfacing with Lego NXT Mindstorms sensors and effectors using Ada and low-cost ARM boards.
Robotics with Ada, ARM, and Lego
17 stars
51 watching
4 forks
Language: Ada
last commit: about 1 year ago
Linked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
| adacore/rc_car_demo | Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car. | 6 |
 mosteo/player-ada | A set of Ada bindings for the Player/Stage robotic platform | 4 |
| adacore/ada_drivers_library | A collection of Ada source code and sample projects for microcontrollers | 250 |
| adacore/spark_railway_simulation_demo | Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification. | 5 |
| adacore/gtkada | An Ada library for building graphical user interfaces with the GTK toolkit | 91 |
 it-cosmos/embrick | Provides an Ada implementation of the emBRICK driver and support for using it | 0 |
 wpilibsuite/shuffleboard | A modern dashboard for robotics competitions | 80 |
 eli-fox/lego-catalog | An Android app demonstrating current architecture and best practices using Kotlin, showcasing data management, networking, and UI components. | 766 |
| adacore/lunar_lander_rotation_demo | Demonstrates serial communication and orientation data transfer from an IMU to control 3D model rotation | 2 |
 adafruit/adafruit_lsm9ds0_library | A C++ library for interfacing with an accelerometer/magnetometer/gyroscope sensor on various microcontrollers | 36 |
| adacore/svd2ada | A tool for generating Ada bindings from ARM Cortex-M device SVD descriptions | 65 |
 ada-actions/toolchain | Automates installation of an Ada development environment. | 20 |
 adadoom3/adadoom3 | Re-engineering the id-tech 4 engine with Ada, focusing on robust tasking systems and Vulkan graphics. | 262 |
| adacore/cuda | A toolset that compiles Ada and SPARK code to NVIDIA GPUs | 18 |
| adafruit/adafruit_mma8451_library | Provides a common interface and data type for the MMA8451 Accelerometer sensor | 24 |