🪺 A simple, clean, customizable Hugo theme

🐹 Deep clean and optimize your Mac.

Day One to Obsidian Converter

Easily convert your Day One journals into Obsidian markdown.

A supported fork of Mastodon that provides local posting and a wider range of content types.

A fast, clean, responsive Hugo theme.

A plugin for Obsidian that helps you write and edit novels, screenplays, and other long projects.

project has migrated - Automatic keyboard/input source switching for OSX

Functional css for humans

Mail.app plugin that adds Gmail-style keyboard shortcuts.

A tiny modern CSS reset

A drop-in collection of CSS styles to make simple websites just a little nicer

Automatic backups from Roam Research into your private GitHub repo

A Roam Research theme for screenwriters.

My personal website. There are many like it, but this is mine.

Your favorite AnchorCMS theme, now for Jekyll!

Automatic RoamResearch backup to Git

Browser extension which gives you more control over your Twitter timeline and adds missing features and UI improvements - for desktop and mobile

Visually polished CSS styles for RoamResearch

CSS for beautifying Roam Research (roamresearch.com).

Idris Todo web application example

A prototype successor to Idris

ICFP Bingo 2017 (Idris edition)

📖 source material for Thinking with Types

Haskell 101 and 102: slides and codelabs

CCN-lite, a lightweight implementation of the CCNx protocol and its variations

On self sovereign human identity.

A clear, concise, simple yet powerful and efficient API for deep learning.

Helpful mods to make the Leopold FC660M work better on the Mac