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.


LaTeX: concepts

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

It is not really easy to receive money through other external resources, commonly to deal with soundness care needs. Online drugstores provides discount prescription medicines and vitamins. You must always ask health care provider for professional consultation about Cialis. Have a question about Cialis and Cialis? You can find out more info through Cialis. (See also What is the most significant information you probably bear in mind consider about this? Our product focuses on the symptoms of erectile disfunction and "". Of all the matters in the field of public heartiness that pique our attention most, it's ED, specifically Cialis. (Read more ). Some men who drink excessively like cocaine find it arduous to get an hard-on and turn to prescription medicaments for a temporary solution. Additionally Cialis may also be used to treat other claim as determined by your druggist.


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.

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