Pinned Repositories
covid19
This is the repository for all of the code that necsi is writing about covid19, along with documentation.
source-translation-text
Version control for translations on EndCoronavirus.org
deep_safe_forecast
MLCSHE
This repo houses the ML-Component Systemic Hazard Envelope project, or MILSCHE (pronounced /'mɪlʃ/).
NASA_ULI_Xplane_Simulator
Dataset and Simulator for the NASA ULI Project
pylot
Modular autonomous driving platform running on the CARLA simulator and real-world vehicles.
SepShr
Config files for my GitHub profile.
SepShr.github.io
A minimal Jekyll Theme to host your resume (CV)
XSTAMPP
XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption and use of STAMP methodologies (STPA and CAST) in different areas. XSTAMPP includes seven plug-ins.
Symboleo-IDE
An IDE for Symboleo, a formal contract specification language.
SepShr's Repositories
SepShr/MLCSHE
This repo houses the ML-Component Systemic Hazard Envelope project, or MILSCHE (pronounced /'mɪlʃ/).
SepShr/deep_safe_forecast
SepShr/NASA_ULI_Xplane_Simulator
Dataset and Simulator for the NASA ULI Project
SepShr/pylot
Modular autonomous driving platform running on the CARLA simulator and real-world vehicles.
SepShr/SepShr
Config files for my GitHub profile.
SepShr/SepShr.github.io
A minimal Jekyll Theme to host your resume (CV)
SepShr/XSTAMPP
XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption and use of STAMP methodologies (STPA and CAST) in different areas. XSTAMPP includes seven plug-ins.