Pinned Repositories
ankdown
Easily make Anki flash cards in markdown
ankdown-plugin
An Anki plugin that uses ankdown to easily load a directory of markdown notes.
bromberg_sl2
Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
chatham_room
dynalist-hacks
Hacks using the Dynalist API
glean
A tiny bitmap font for programming
gwipt
Automatically commit all edits to a wip branch with GPT-3 commit messages
latrunculorum
Chess bot in python using python-chess
soanm
Shell Of A New Machine: Quickly configure new environments
timetable-adapter
Provides a machine-readable interface to a timetable of classes. Developed primarily for Virginia Tech's Banner system.
benwr's Repositories
benwr/gwipt
Automatically commit all edits to a wip branch with GPT-3 commit messages
benwr/bromberg_sl2
Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
benwr/soanm
Shell Of A New Machine: Quickly configure new environments
benwr/chatham_room
benwr/benwr_guix
benwr/dotfiles
benwr/zebra
benwr/benwr.github.io
My web site
benwr/tuftish
Tufte-inspired vim theme
benwr/brog
vim colorscheme based on "brogrammer"
benwr/cordata_model
benwr/crev-proofs
Crev proof repository
benwr/dioxus-free-icons
Use free svg icons in your Dioxus projects easily with dioxus-free-icons.
benwr/evalexpr
A powerful expression evaluation crate for Rust.
benwr/explore
Community-curated topic and collection pages on GitHub
benwr/lunicode
Make programming in Agda with Neovim less terrible (according to me). Essentially a less-annoying digraphs tool.
benwr/mergle
A list-like data structure with fast extend and compare.
benwr/origin_check
Stateless / zero-configuration Tower middleware that checks the Origin and Referer, as a minimal CSRF mitigation
benwr/p2tk
Penn Phonetics Toolkit mirror with syllabifier update to python 3
benwr/pdfium_segfault
Example pdfium segfault
benwr/qmk
My QMK mods
benwr/rage
A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.
benwr/rudac
Rudac is a Rust Data structure and Algorithm Crate. It aims to be a comprehensive crate of useful data structure and algorithms.
benwr/RustPython
A Python Interpreter written in Rust
benwr/RustPythonParser
benwr/segfaulty
Segfault reproducer for dioxus_desktop with menus
benwr/starlark-rust
A Rust implementation of the Starlark language
benwr/systembar
A shell script to print system information for swaybar
benwr/userherd
An extremely simple shell script to spawn a per-user shepherd service.
benwr/vms
Guix system vm configuration