lucid-at-dream's Stars
lucid-at-dream/citylife
An ecossytem of citadin (streamlined) micro services with a sense of automatic deployment ingrained into their brains.
lbenthins/ecu-simulator
Tool that simulates some vehicle diagnostic services. It can be used to test OBD-II dongles or tester tools that support the UDS (ISO 14229) and ISO-TP (ISO 15765-2) protocols.
DeepSoftwareAnalytics/SoTaNa
FreeRTOS/FreeRTOS-Cellular-Interface
FreeRTOS Cellular Interface implementation of the 3GPP TS v27.007 standard.
stratio-automotive/Stratio.Extensions.Configuration.Vault
Simplifying Secrets Management in .NET using Hashicorp Vault (powered by Stratio)
stratio-automotive/elastic-fix-stale-shards
esbmc/esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
FreeRTOS/FreeRTOS-Cellular-Interface-Reference-Quectel-BG96
FreeRTOS/FreeRTOS-Cellular-Interface-Community-Supported-Ports
buehler/dotnet-operator-sdk
KubeOps is a kubernetes operator sdk in dotnet. Strongly inspired by kubebuilder.
mull-project/mull
Practical mutation testing and fault injection for C and C++
SecureThemAll/SecureThemAll
su2code/SU2
SU2: An Open-Source Suite for Multiphysics Simulation and Design