benwr

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

chatham_room

benwr_guix

dotfiles

benwr.github.io

My web site

tuftish

Tufte-inspired vim theme

zebra

cordata_model

crev-proofs

Crev proof repository

dioxus-free-icons

Use free svg icons in your Dioxus projects easily with dioxus-free-icons.

evalexpr

A powerful expression evaluation crate for Rust.

explore

Community-curated topic and collection pages on GitHub

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.

origin_check

Stateless / zero-configuration Tower middleware that checks the Origin and Referer, as a minimal CSRF mitigation

p2tk

Penn Phonetics Toolkit mirror with syllabifier update to python 3

pdfium_segfault

Example pdfium segfault

qmk

My QMK mods

rage

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

rudac

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

RustPython

A Python Interpreter written in Rust

RustPythonParser

segfaulty

Segfault reproducer for dioxus_desktop with menus

starlark-rust

A Rust implementation of the Starlark language

systembar

A shell script to print system information for swaybar

userherd

An extremely simple shell script to spawn a per-user shepherd service.

vms

Guix system vm configuration