nesl/automated-reasoning
CS264A: Automated Reasoning: Course Project (SAT Solver and Knowledge compiler) SP 2015
Public GitHub Catalog
Discovered Oct 6, 2026
nesl / AndroidHandheldAndWearStudy
To understand the difference between Android phone and watch
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.
#33981809GitHub System ID
neslOrganization / User
PublicVisibility
ActiveCatalog Status
More from nesl
nesl/BatteryLogger
Android battery logger using alarm manager
nesl/SensorDashboard
A sensor dashboard for Android plotting all sensor data of your Android wearable.
nesl/pebble-sdk-examples
Examples for Pebble SDK