railway-simulation

github.comtool

Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   spark-railway-demo github.com

   tool category #ada link ↗

   Simulated railway network in SPARK/Ada.

2. ▲
   parallel-sim github.com

   tool category #ada link ↗

   Distributed Simulation of Transport Networks.

3. ▲
   Railway github.com

   tool category #pocketbase link ↗

   Guide to deploy on Railway.

4. ▲
   simutrans github.com

   tool category #game-remakes link ↗

   Simutrans is a freeware and open-source transportation simulator. :flower_playing_cards:

5. ▲
   rxada github.com

   tool category #ada link ↗

   An Ada 2012 implementation of the Rx methodology.

   
6. ▲
   Speedrail github.com

   tool category #ruby link ↗
   

Ada/SPARK › Hardware and Embedded > Applications: “Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide.”