#
sos
Here are 136 public repositories matching this topic...
Zoom city [2014], Is a demo mobile application which was made to notify user city informations [including places to visit , plumber , electrician services ,etc]
-
Updated
Mar 17, 2018 - JavaScript
A mountain bike app created as a guide and tool for mountain bikers in the Philippines.
checklist
tracking
navigation
health-check
position
bike
tutorials
trails
activity
sos
mountain-bike
2d-graphics
endurance
activity-logging
first-aid
model-creation
mountain-biking
-
Updated
Jul 24, 2024 - Dart
52°North Sensor Observation Service
-
Updated
Nov 14, 2015 - Java
Static analysis tool for working with Structural Operational Semantics.
-
Updated
Aug 12, 2022 - Haskell
System of System Architecture Modeling and Verification
verification
internet-of-things
transitions
model-checking
sos
software-architecture
stochastic-processes
stochastic-modeling
markovian
cyber-physical-system
quantitative-modeling
modeling-complex-systems
labelled-transition-system
model-abstraction
software-quality-attributes
-
Updated
Dec 2, 2020 - TeX
-
Updated
Jan 6, 2023 - JavaScript
Improve this page
Add a description, image, and links to the sos topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sos topic, visit your repo's landing page and select "manage topics."