nesl/automated-reasoning
CS264A: Automated Reasoning: Course Project (SAT Solver and Knowledge compiler) SP 2015
Public GitHub Catalog
Discovered Oct 1, 2026
nesl / cambridge-power-analysis
Matlab scripts to analyze the power attribute in Cambridge Data Set.
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.
#21182061GitHub 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.