Explore projects

A documentation for rocs.

Binary installers for Coq on Windows / Mac.

ECE 654 Assignment 1 Abstract Syntax Tree

A Ethereum Smart Contract which can run ANY/ALL ATRBAC instances using the empirical syntax defined in Mohawk+T and Cree papers (Shahen et.al.)

This code was developed for the laboratory course ECE298. Our project was to develop a greenhouse which monitored two zones independently. Depending on what the sensors were reading, ventilation and or irrigation motors would be turned on. Additional

Nearby object detector using MSP430 and HC-SR04 sensors.