OS Lab

Trying to turn linux into a moldable computing environment.

Klee: A Language for Describing Shapes

Bootstrapping a Personal Computing Environment

Contact Checker

Flume: A Soundserver for Synit

Ambient Dataspaces

Work-in-progress for now. Will be similar in functionality to the tuplespaces in AmbientTalk

ambient-dataspace.md