nesl/Imhotep-smt
A Satisfiability-Modulo-Theory (SMT) based estimator for secure estimation under adversarial sensor attacks.
Public GitHub Catalog
Discovered Sep 29, 2026
nesl / bacnet_module
bacnet module code
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#13608058GitHub System ID
neslOrganization / User
PublicVisibility
ActiveCatalog Status
More from nesl
nesl/CustomBeacon
Software and Firmware for a Custom BTLE Beacon Device
nesl/iBeaconLoc_Server
iBeacon-based localization: python server and graphical interface
nesl/platform_frameworks_base_kitkat
Public repository.