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

31 watching

4 forks

Language: Ada

last commit: over 2 years 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	531
adacore/spark2014	A software development technology designed to produce ultra-low defect software	250
adacore/ada_drivers_library	A collection of Ada source code and sample projects for microcontrollers	250
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	54
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	154
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	289