| Active Research |
|
| OCaml Labs |
Real-world function programming |
| Mirage |
Multi-scale, high-performance type-safe applications |
| Signposts |
End-to-end networking in a world of insane middleboxes |
| MRC2 |
Resilient, composable and secure distributed cloud infrastructure |
| CIEL |
A universal distributed execution engine |
| CTSRD |
Rethinking the hardware/software security interface |
| C-AWARE |
Making consumers aware of their energy usage |
| Personal Containers |
Computing infrastructure for a lifetime of personal and social data |
| Past Research |
|
| Melange |
Constructing high-performance, statically type-safe network applications |
 Meta Packet Language |
language to write efficient OCaml packet parsing and generation code |
| Statecall Policy Language |
embed statically model-checked and dynamically enforced automata in applications |
| Ubiquitous Interaction Devices |
Building tommorrow's technology on today's hardware |
| Audio Networking |
The forgotten wireless technology |
| SpotCode Interfaces |
Interact with your environment using a mobile phone |
| Context-Aware Telephony |
Demonstrating the benefits of integrating telephones and PCs |
| Released Software |
|
| Blueproxy |
Bluetooth to TCP proxy server |
BSD |
| Subethaedit OCaml mode |
Syntax highlighting modes for OCaml in the popular MacOS X editor |
BSD |
| Review2Atom |
Convert academic paper reviews into Atom 1.0 feeds |
BSD |
| Symbian Image Collect |
Using Symbian Python to push camera images via Bluetooth |
BSD |
| Mercurial FastCGI |
FastCGI scripts for serving Mercurial (0.9.x) repositories |
Public Domain |
| Free Software Projects |
|
| OpenBSD |
A secure, multi-platform UNIX-like operating system. |
BSD |
| GCC bounds checker |
Statically locate common programming errors in C. |
BSD |
| Privsep Syslogd |
Privilege separate syslogd to not listen to network as super-user. |
BSD |
| OpenFX |
3D modelling, animation and rendering for Windows. |
GPL |
| Past Projects |
|
| PHP |
Scripting language for web development. |
PHP |
| The Horde Project |
Open-source, PHP-based web application suite. |
LGPL |
| Chora |
Web-based Version Control viewer that uses Horde. |
GPL |
