jwiegley

use-package

A use-package declaration for simplifying your .emacs

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

org-mode

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

use-package-examples

Example declarations to demonstrate the features of use-package

notes

trade-journal

Code for keep an investment trade journal

periods

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

c2hsc

Utility for creating .hsc files from C API header files

hours

Utility for showing hours worked within a work month against a target

pushme

A script I use for synchronizing directories and ZFS pools between systems

coq-cds4ltl

A formalization of finite, constructive log analysis using linear temporal logic

coq-lattice

A reflection-based proof tactic for lattices in Coq

scripts

Various and sundry shell scripts used on my system

linearscan-hoopl

home-manager

Manage a user environment using Nix

start-kadena

My own Nix script for starting and testing a Kadena node

nix-darwin

nix modules for darwin

org-data

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

sacred-writings

A bilingual typesetting of the Hidden Words

sitebuilder

Common Hakyll builder for my websites

nixpkgs

A mirror of the Nix Packages collection; this represents my "last known good" state

simple-amount

Fractional numbers in Haskell, represented as infinite precision rationals

c2g-schedule

A group scheduling solver for Copper to Gold

three-partition

A 3-partition solver using SBV and optimization