3 projects tagged "Nexus"
Nexus is a new operating system for trustworthy computing. It can take advantage of Trusted Platform Modules (TPMs) to issue trustworthy certificates of program properties. It provides user-level device drivers, isolated protection domains, interprocess communication, and partial POSIX support. It runs on x86 hardware.
An object-oriented, type safe, multi-threaded approach to computer algebra.