jwiegley

emacs-async

Simple library for asynchronous processing in Emacs

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

nix-update-el

An Emacs command for updating fetch declarations in place

notes

trade-journal

Code for keep an investment trade journal

hours

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

comparable

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

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

scripts

Various and sundry shell scripts used on my system

org-jw

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

sizes

Recursively show space (size and i-nodes) used in subdirectories

start-kadena

My own Nix script for starting and testing a Kadena node

home-manager

Manage a user environment using Nix

sacred-writings

A bilingual typesetting of the Hidden Words

nix-darwin

nix modules for darwin

sitebuilder

Common Hakyll builder for my websites

nixpkgs

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

renamer

Haskell implementation of a photo file renamer

simple-amount

Fractional numbers in Haskell, represented as infinite precision rationals

tinderbox

Haskell implementation of an "action code" scripting language for agents based on Tinderbox

c2g-schedule

A group scheduling solver for Copper to Gold

hackage-root-keys

three-partition

A 3-partition solver using SBV and optimization

hakyll

A static website compiler library in Haskell

lurk-hs

Haskell Wrappers for Lurk (contact: @huitseeker)

test-lurk-hs