pniedzielski

recursion-schemes

My London HUG talk: Recursion Schemes by Example

YubiKey-Guide

Guide to using YubiKey for GnuPG and SSH

dactyl-manuform-mini-keyboard

Focus

Dim the font color of text in surrounding paragraphs

compdata

Haskell library implementing "Data Types a la Carte"

ewsync

Sync emails from EWS to Maildir

ligature.el

Display typographical ligatures in Emacs

elegant-agenda-mode

My only agenda is to be more elegant.

EWItool

EWI4000s Tool

hunter-img

Partial implementation of Hunter's Insertion Minimalist Grammars

GlobalProtect-openconnect

A GlobalProtect VPN client for Linux, written in Rust, based on OpenConnect and Tauri, supports SSO with MFA, Yubikey, and client certificate authentication, etc.

elisp-maintainers

Elisp maintainers and how to support them

dactyl-keyboard

Web generator for dactyl keyboards.

distroless

🥑 Language focused docker images, minus the operating system.

dexed

DX7 FM multi plaform/multi format plugin

ewi

Fingering Tool for Akai EWI using React

emacs

Mirror of GNU Emacs

counsel-notmuch

Search emails in Notmuch asynchronously with Ivy

emacs-dashboard

An extensible emacs dashboard

yay-evil-emacs

😈 A lightweight literate Emacs config with even better "better defaults". Shipped with a custom theme!

grasp

Randomised Semiring Parsing

herbie

Optimize floating-point expressions for accuracy

indiekit

The little Node.js server with all the parts needed to publish content to your personal website and share it on social networks.

dotfiles

My Dotfiles

dactyl-keyboard

Parameterized ergonomic keyboard

Sumerian

A programming language written in the ancient language Sumerian (𒅴 𒆰)

awesome-reMarkable

A curated list of projects related to the reMarkable tablet

cont-playground

A menagerie of sketches and speculations using continuations (WiP)

getting-high-seminar

Materials for 24.979 - "Getting high: scope, projection, and evaluation order"

multicategories

Playing around with multicategories and operads