jwiegley

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.

coq-haskell

A library for formalizing Haskell types and functions in Coq

org-mode

This is a very old fork of Org-mode, but it's the version I still use every day

git-undo-el

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

nix-update-el

An Emacs command for updating fetch declarations in place

una

A universal interface to multiple unarchiving tools

use-package-examples

Example declarations to demonstrate the features of use-package

git-annex-el

Emacs integration for the git-annex tool by Joey Hess

newartisans

periods

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

parsec-free

async-pool

coq-lattice

A reflection-based proof tactic for lattices in Coq

haskell-config

My haskell-mode configuration for Emacs

git-all

Utility for finding all Git repositories that need attention

logging

hello

Hello world project templates for getting started quickly with Nix

org2tc

convert org work clock entries to timeclock.el entries

dirscan

Stateful directory scanning in Python. Makes a great ~/.Trash cleaner.

software-foundations

Nix-enabled and fully building mirror of Software Foundations WITHOUT SOLUTIONS

pipes-files

linearscan-hoopl

refine-freer

Experiments with an extensible refinement framework

johnwiegley

My personal website, at johnwiegley.com

runmany

Run multiple commands, interleaving output and errors

Coq-Equations

A function definition package for Coq

emacs-format-all-the-code

Auto-format source code in many languages with one command

hs-hashes

Haskell hash functions

quill

Governance & ledger toolkit for cold wallets