Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/AdaCore/SPARK_Railway_Simulation_Demo
https://github.com/AdaCore/SPARK_Railway_Simulation_Demo
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/AdaCore/SPARK_Railway_Simulation_Demo
- Owner: AdaCore
- License: gpl-3.0
- Created: 2017-01-11T17:13:27.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2019-11-22T11:00:43.000Z (over 4 years ago)
- Last Synced: 2024-04-22T10:14:49.498Z (2 months ago)
- Language: Ada
- Size: 763 KB
- Stars: 5
- Watchers: 41
- Forks: 7
- Open Issues: 0
Lists
- awesome-ada - railway-simulation - Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide. (Hardware and Embedded / Applications)
- awesome-ada - railway-simulation - Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide. (Hardware and Embedded / Applications)