The classic RPL programming language reimplemented and reimagined.
This project reimplements from scratch the RPL language made popular by HP programmable calculators, in portable C/C++. The main goal is to release a complete computing environment for various targets. There's currently 4 active targets: the HP 50g, HP39gs and HP40gs calculators and a PC simulator (see the downloads section!). Other ports are planned for the future.
Custom firmware and IDE for the VEX Cortex Microcontroller
This project has been moved to http://pros.cs.purdue.edu/ PROS is a lightweight and fast alternative operating system for the VEX Cortex Microcontroller. It features multitasking, low-level control, and Wiring compatible functions to harness the full power of the Cortex. With a real-time kernel based on FreeRTOS and a development environment built on Eclipse CDT, PROS uses proven software to increase the reliability and usability of the VEX development system across all three major computing platforms. PROS is currently under active development to make it usable for VEX high school and middle school teams. PROS is intended for advanced VEX users seeking to move beyond competing environments. Eclipse and FreeRTOS have their own licensing agreements. Please see http://www.eclipse.org/legal/epl-v10.html and http://www.freertos.org/a00114.html for details.
A special-purpose 4.4BSD-based UNIX-like operating system, designed for machine control applications. Using low-cost hardware, FabBSD can be used to control a wide array of CNC milling machines, lathes, routers, process-control and automation equipment.
The Palacios VMM integrated with the Kitten Ligthweight Kernel. Palacios is a lightweight and modular VMM developed by Northwestern University and the University of New Mexico. Kitten is a Lightweight OS Kernel developed by Sandia National Labs.
This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.