RC_Car_Demo
RC Car Demo
Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car.
An embedded Ada/SPARK demo
6 stars
32 watching
4 forks
Language: Ada
last commit: 9 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| adacore/robotics_with_ada | Demonstrates interfacing with Lego NXT Mindstorms sensors and effectors using Ada and low-cost ARM boards. | 17 |
| adacore/spark_railway_simulation_demo | Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification. | 5 |
 osrf/car_demo | A simulation platform for autonomous vehicles using ROS/GAZEBO | 527 |
| adacore/spark2014 | A software development technology designed to produce ultra-low defect software | 248 |
| adacore/ada_drivers_library | A collection of Ada source code and sample projects for microcontrollers | 246 |
| adacore/lunar_lander_rotation_demo | Demonstrates serial communication and orientation data transfer from an IMU to control 3D model rotation | 2 |
 ada-actions/toolchain | Automates installation of an Ada development environment. | 20 |
 kidev/demoadaphysics2d | Demonstrates physics and rendering capabilities of AdaPhysics2D on an STM32F429 microcontroller | 5 |
| adacore/cuda | A toolset that compiles Ada and SPARK code to NVIDIA GPUs | 18 |
 lambourg/ada_bare_metal_demos | A collection of Ada-based bare metal demos showcasing various applications and features | 20 |
 apipie/apipie-demo | A Rails application demonstrating Apipie gem features | 55 |
 fabien-chouteau/spark-railway-demo | A simulated railway network in Ada that ensures safe train operation using formal methods | 7 |
 tofgarion/spark-by-example | An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods | 152 |
| adacore/tictactoe | A tictactoe game written in Ada using the SPARK language and proven at runtime | 3 |
 activeadmin/demo.activeadmin.info | Demonstrates Active Admin's functionality using a simple demo application | 286 |