mikekab/RESOLVE-Workspace
RESOLVE Workspace
Public GitHub Catalog
Discovered Sep 26, 2026
mikekab / collision_detection_aadl
A AADL model of a collision prevention system for use in a telematics architecture
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#8164107GitHub System ID
mikekabOrganization / User
PublicVisibility
ActiveCatalog Status
More from mikekab
mikekab/RESOLVEWebIDE-v5
RESOLVE Web IDE developed using Play Framework 2.x
mikekab/RESOLVEWebAPI
This is the back-end API that services request to compile, translate and verification using the RESOLVE compiler.
mikekab/RESOLVE
Public repository.