nesl/Imhotep-smt
A Satisfiability-Modulo-Theory (SMT) based estimator for secure estimation under adversarial sensor attacks.
Public GitHub Catalog
Discovered Oct 2, 2026
nesl / CustomBeacon
Software and Firmware for a Custom BTLE Beacon Device
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.
#25185033GitHub System ID
neslOrganization / User
PublicVisibility
ActiveCatalog Status
More from nesl
nesl/iBeaconLoc_Server
iBeacon-based localization: python server and graphical interface
nesl/platform_frameworks_base_kitkat
Public repository.
nesl/platform_frameworks_native_kitkat
Public repository.