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 / platform_frameworks_base_kitkat
Public repository discovered through GitHub real-time crawl.
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.
#23267165GitHub 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_native_kitkat
Public repository.