Automatic headphone equalization from frequency responses

An alternative construction of algebraic structures other than the Agda standard library

Linear algebra formalization in Agda

Group theory in Agda, including a proof of Lagrange's theorem.

being a collection of Agda-facilitated ramblings

Mathematical proofs in Agda

Category Theory in Agda. Learning exercise, not for public consumption.

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Combinatorics in Agda

Miscellaneous Agda code

Simple extension of Agda's standard library for personal use.

Instagram protocol plugin for libpurple

Pidgin libpurple bridge to signald.

An android "fake" camera app to select an image

foobar2000 .fpl playlists reader.

Enhanced playback statistics for foobar2000

Custom CSS tweaks for Firefox

Rust library for syntax highlighting using Sublime Text syntax definitions.

Raspbian (minimal) unattended netinstaller

A pager for grep

A universal interface to multiple unarchiving tools

An IRC to other chat networks gateway 🐝

SoundCloud Theme for Foobar2000 Waveform Seekbar Plugin

An attempt to translate the original Super Mario Bros. for the NES to readable C/C++

An open-source, customizable intermediate logic textbook

signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.

Plugin for Sublime for inserting unicode math symbols and emoji

Insert Unicode LaTeX δ and Emoji 🍻 to Sublime Text

Slack module for libpurple

Track changes to a patch series over time