https://github.com/sushyk/trafficcontrolsystem

A simplified Traffic Control System
https://github.com/sushyk/trafficcontrolsystem

ada gnat verification

Last synced: about 1 month ago
JSON representation

A simplified Traffic Control System

• Host: GitHub
• URL: https://github.com/sushyk/trafficcontrolsystem
• Owner: sushyk
• Created: 2021-11-20T23:31:29.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2021-11-20T23:34:34.000Z (over 3 years ago)
• Last Synced: 2025-01-22T03:45:35.533Z (3 months ago)
• Topics: ada, gnat, verification
• Language: Ada
• Homepage:
• Size: 16.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
"# TrafficControlSystem"