benwr

ankdown

Easily make Anki flash cards in markdown

gwipt

Automatically commit all edits to a wip branch with GPT-3 commit messages

bromberg_sl2

Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"

soanm

Shell Of A New Machine: Quickly configure new environments

ankdown-plugin

An Anki plugin that uses ankdown to easily load a directory of markdown notes.

chatham_room

dynalist-hacks

Hacks using the Dynalist API

dotfiles

barlioz

Ubersicht Top Bar

benwr.github.io

My web site

tuftish

Tufte-inspired vim theme

baps

Ben's Awesome Pile Shuffler

dynankdown

Dynalist to ankdown import script

exercises

Textbook exercises

explore

Community-curated topic and collection pages on GitHub

fenester

vim plugin to improve window tiling

fortunes

UNIX fortunes

keyboards

Thinking about keyboard layouts

lunicode

Make programming in Agda with Neovim less terrible (according to me). Essentially a less-annoying digraphs tool.

mergle

A list-like data structure with fast extend and compare.

neovim-remote

:ok_hand: Support for --remote and friends.

qmk

My QMK mods

quine

printf("printf(\"printf(\\\"printf(\\\\\"printf(\\\\\\\\\"printf(\\\\\\\\\\\\\\\\\"printf(...

redmonk

rusty cells

renters

Tool for deciding whether a group wants to live in a house.

rl_algos

RL algorithms for practice

rudac

Rudac is a Rust Data structure and Algorithm Crate. It aims to be a comprehensive crate of useful data structure and algorithms.

shuffling

Card sorting / shuffling method

starlark-rust

A Rust implementation of the Starlark language

systembar

A shell script to print system information for swaybar