Rust is a new programming language for developing reliable and efficient systems. It's designed to support concurrency and parallelism in building platforms that take full advantage of modern hardware. Its static type system is safe and expressive and it provides strong guarantees about isolation, concurrency execution and memory safety.
Rust combines powerful and flexible modern programming constructs with a clear performance model to make program efficiency predictable and manageable. One important way it achieves this is by allowing fine-grained control over memory allocation through contiguous records and stack allocation. This control is balanced with the absolute requirement of safety: Rust’s type system and runtime guarantee the absence of data races, buffer overflow, stack overflow or access to uninitialized or deallocated memory.
Servo is an experimental project to build a Web browser engine for a new generation of hardware: mobile devices, multi-core processors and high-performance GPUs. With Servo, we are rethinking the browser at every level of the technology stack — from input parsing to page layout to graphics rendering — to optimize for power efficiency and maximum parallelism.
Servo builds on top of Rust to provide a secure and reliable foundation. Memory safety at the core of the platform ensures a high degree of assurance in the browser’s trusted computing base. Rust’s lightweight task mechanism also promises to allow fine-grained isolation between browser components, such as tabs and extensions, without the need for expensive runtime protection schemes, like operating system process isolation.
Shumway’s primary goals are to demonstrate the power and expressiveness of the HTML5 platform and to discover and remedy gaps in the Web platform.
Emscripten demonstrates that the Web is capable of supporting the responsive, real-time user experiences of interactive desktop software, including games, simulations and even live video decoding. Many applications run within an order of magnitude of their native binary performance. At the same time, Emscripten serves to diagnose and address performance bottlenecks in the Web platform to keep pushing the boundaries of tomorrow’s Web.
Daala is a next-next-generation video codec. The aim is not only to create a better video codec, but to create one that is a royalty-free open standard that can serve as the backbone technology for video on the internet. Daala’s performance on still images is already on par with H.264, and is rapidly gaining on H.265.
Unlike other video and image codecs which divide images into discrete blocks, Daala uses overlapping blocks to eliminate blocking artifacts and does prediction and other operations on frequency values instead of pixels. Instead of simple scalar quantization, Daala uses an energy preserving quantizer inspired by similar techniques in the Opus audio codec.