phil-levis
Associate professor who wishes he spent more time making pull requests.
Stanford UniversityStanford, CA
Pinned Repositories
cs107e.github.io
Backing repository for CS107e site. Don't commit here (automatically managed). Read content on website
storm.rs
TockOS - An OS for Embedded Devices
Design_Considerations_Low_Internet_Draft
tock
A secure embedded operating system for microcontrollers
tock-embedded-data
what-happens-when
An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
tinyos-main
Main development repository for TinyOS (an OS for embedded, wireless devices).
libtock-c
Userland apps for Tock written in C and C++
tock
A secure embedded operating system for microcontrollers
tockloader
Tool for programming Tock onto hardware boards.
phil-levis's Repositories
phil-levis/what-happens-when
An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
phil-levis/Design_Considerations_Low_Internet_Draft
phil-levis/tock
A secure embedded operating system for microcontrollers
phil-levis/tock-embedded-data