Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.

This is the GNU D compiler for the hppa-linux-gnu architecture, which compiles D on platforms supported by gcc. It uses the gcc backend to generate optimised code.

!!!!! Please note, the compiler is in a very early stage and not usable yet for compiling real Rust programs !!!!!

This app is a core app for Ubuntu Touch's shell Lomiri. Ubuntu Touch is a mobile OS developed by the UBports Foundation. Lomiri is its operating environment optimized for touch based human-machine interaction, but also supports convergence (i.e. switching between tablet/phone and desktop mode).

QXmpp is a cross-platform C++ XMPP library built upon Qt. It strives to be as easy to use as possible.

Implementing networking in C is a pain. Unfortunately, much of that pain is copied to Python. This module instead tries to follow the "batteries included" approach, like the rest of Python. With this module, networking is a piece of cake. It can use tcp sockets and unix domain sockets and supports ssl connections without hassle.