Stars
Work-in-progress successor to Dataview with a focus on UX and speed.
Perform file explorer operations (and see your current file path) from the Obsidian.md title bar
A data index and query language over Markdown files, for https://obsidian.md/.
A purely functional programming language with first class types
Browser extension which adds comprehensive keyboard shortcuts to Todoist, beyond what is offered by Todoist itself
A Dependently Typed Functional Programming Language
An application and Chrome extension for creating web-based applications that work like standalone Mac apps.
A simple, clean and customizable watchface for the Pebble smartwatch
Export Fitbit data to Google Fit. Unlike the alternatives such as fitnessyncer.com, this offers very fine intraday granularity (every minute/second data).
A tool for the dual-head presentation of PDF slides on Mac OS X, most likely using a laptop and a projector. The project arose out of the need to correctly project slides created with LaTeX's beame…
Empowering everyone to build reliable and efficient software.
xmonad with the X11 abstracted and configured with Idris
A window management application (replacement for Divvy/SizeUp/ShiftIt)
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…