Delta Profiles

The goal of this project is to create a profile manager for Android. A service that can (automatically) change settings on your device based on user-defined rules.

Read more...

LaTeX: concepts

This LaTeX2ε package helps to keep track of formal 'concepts' for a specific field or document.

Read more...

The Mist Programming Language

Mist is (going to be) a high-level programming language that is comfortable to use for software engineers, designed to work together with a verifying compiler, capable of automatic formal verification of programs. Compatibility with other programming languages is of secondary concern. Rather, Mist will be designed as the most productive and elegant programming language possible.

Attachments:
Download this file (mist-extended-abstract.pdf)mist-extended-abstract.pdf103 Kb

Read more...