darktable is an open source photography workflow application and raw developer

htop - an interactive process viewer

A customisable 3D platform for agent-based AI research

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

An implementation of the TLS/SSL protocols

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

FDUPES is a program for identifying or deleting duplicate files residing within specified directories.

U2F USB token optimized for physical security, affordability, and style

Solo 1 firmware in C

SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor

Supporting tools for Android/Linux on the iPhone

Simple LaTeX editor

An interactive ecosystem and evolution simulator written in C and OpenGL, for GNU/Linux.

Water-Simulation with real time specular reflection on the waters surface. The reflection is implemented in GLSL and runs on the GPU and in screen space. The water itself is implemented using a pre…

libyaml-based yaml loader for Erlang

udev helper and rule to identify U2F tokens