Hide content and notifications from this user.
Contact Support about this user's behavior.
My Cambridge Lecture Notes
Categorical logic from a categorical point of view
A tiny launcher menu packing a big bang (syntax)
A Linux Desktop featuring a traditional layout (Gnome 2), built from modern technology (Gnome Shell) and introducing brand new innovative features.
File browser for Cinnamon
A Bluetooth configuration tool
An calender widget for your Android home screen.
jqtimeline: jQuery Timeline plugin. A simple and elegant jQuery plugin which shows a set of events(dates) in a timeline.
cinnamon extension that tiles windows as you like.