RC_Car_Demo
by AdaCore
An embedded Ada/SPARK demo
AI summary
RC Car Demo
Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car.
- stars
- 6
- forks
- 4
- watching
- 31
Similar projects
Found by comparing what the projects do, not just their names.
Robotics interface demo
Demonstrates interfacing with Lego NXT Mindstorms sensors and effectors using Ada and low-cost ARM boards.
Railway simulator
Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.
Autonomous car simulator
A simulation platform for autonomous vehicles using ROS/GAZEBO
Defect reduction tool
A software development technology designed to produce ultra-low defect software
Microcontroller libraries
A collection of Ada source code and sample projects for microcontrollers
Rotation demo
Demonstrates serial communication and orientation data transfer from an IMU to control 3D model rotation
Ada compiler setup
Automates installation of an Ada development environment.
Physics simulator
Demonstrates physics and rendering capabilities of AdaPhysics2D on an STM32F429 microcontroller
GPU compiler
A toolset that compiles Ada and SPARK code to NVIDIA GPUs
Bare Metal Demos
A collection of Ada-based bare metal demos showcasing various applications and features
API demo
A Rails application demonstrating Apipie gem features
Railway simulator
A simulated railway network in Ada that ensures safe train operation using formal methods
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
Tictactoe game
A tictactoe game written in Ada using the SPARK language and proven at runtime
Demo app
Demonstrates Active Admin's functionality using a simple demo application
