jwiegley

A use-package declaration for simplifying your .emacs

A bunch of random scripts I've either written, downloaded or clipped from #git.

Simple library for asynchronous processing in Emacs

An introduction to the architecture and design of the Git content manager

An axiom-free formalization of category theory in Coq for personal study and practical work

My .emacs.el file and other personal Emacs goodies

A Growl-like alerts notifier for Emacs

A library for formalizing Haskell types and functions in Coq

A complete chess client written in Emacs Lisp.

A command for Emacs to regress or "undo" a region back through its Git history

Code to make it easier to manage many prompts in GPTel

An Emacs command for updating fetch declarations in place

Org-babel backend for running GPTel queries

Control theory in Haskell: Data structures, algorithms and adapters

A presentation for BayHac 2017 on how I uses lenses at work

A universal interface to multiple unarchiving tools

Example declarations to demonstrate the features of use-package

A regular expression IDE for Emacs, to help with the creation and testing of regular expressions.