Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/AdaCore/SPARK_Railway_Simulation_Demo

https://github.com/AdaCore/SPARK_Railway_Simulation_Demo

Last synced: 3 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 (about 8 years ago)
Default Branch: master
Last Pushed: 2019-11-22T11:00:43.000Z (about 5 years ago)
Last Synced: 2024-07-31T20:45:29.332Z (6 months ago)
Language: Ada
Size: 763 KB
Stars: 5
Watchers: 41
Forks: 7
Open Issues: 0

Awesome Lists containing this project

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)