nesl/automated-reasoning
CS264A: Automated Reasoning: Course Project (SAT Solver and Knowledge compiler) SP 2015
Public GitHub Catalog
Discovered Sep 24, 2026
nesl / Ceiling-Sensing-Online
This project involves streaming data from several micazs to a website using radio, serial communication, and HTML 5 Websockets.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#691770GitHub System ID
neslOrganization / User
PublicVisibility
ActiveCatalog Status
More from nesl
nesl/BatteryLogger
Android battery logger using alarm manager
nesl/AndroidHandheldAndWearStudy
To understand the difference between Android phone and watch
nesl/SensorDashboard
A sensor dashboard for Android plotting all sensor data of your Android wearable.