John Wiegley

use-package. A use-package declaration for simplifying your .emacs

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

emacs-async. Simple library for asynchronous processing in Emacs

git-from-the-bottom-up. An introduction to the architecture and design of the Git content manager

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

dot-emacs. My .emacs.el file and other personal Emacs goodies

alert. A Growl-like alerts notifier for Emacs

nix-config. My local Nix configuration

gitlib. Haskell

coq-haskell. A library for formalizing Haskell types and functions in Coq

emacs-chess. A complete chess client written in Emacs Lisp.

coq-pipes. Rocq Prover

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

gptel-prompts. Code to make it easier to manage many prompts in GPTel

nix-update-el. An Emacs command for updating fetch declarations in place

control-theory. Control theory in Haskell: Data structures, algorithms and adapters

ob-gptel. Org-babel backend for running GPTel queries

putting-lenses-to-work. A presentation for BayHac 2017 on how I uses lenses at work

una. A universal interface to multiple unarchiving tools

use-package-examples. Example declarations to demonstrate the features of use-package

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

notes. Haskell

git-annex-el. Emacs integration for the git-annex tool by Joey Hess

gdtoa. David M. Gay's floating-point conversion library

z3cat. Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations

emacs-release. A history of Emacs releases, under version control

trade-journal. Code for keep an investment trade journal

periods. Common Lisp library for manipulating date/time objects at a higher level

bytestring-fiat. An implementation of the Haskell ByteString library using the Fiat system from MIT

newartisans. HTML

emacs-pl. Emacs Lisp

c2hsc. Utility for creating .hsc files from C API header files

comparable. A library for comparing data structures in Rust, oriented toward testing

thinking-with-functions. A brief presentation on Denotational Design, based on Conal Elliott's work

simple-conduit. Haskell

org-jw. A tool for working with Org-mode data from command-line, tuned to my own use cases

haskell-config. My haskell-mode configuration for Emacs

categorical. Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work

git-all. Utility for finding all Git repositories that need attention

haskell-to-c. Sample code to build a C library from a Haskell module, then call it from C

logging. Haskell

springboard. An Emacs mode based on Helm that makes it easy to bounce around projects

markdown.net. A Markdown and SmartyPants processor written in C# for .NET.

hello. Hello world project templates for getting started quickly with Nix