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.

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

notes

newartisans

trade-journal

Code for keep an investment trade journal

comparable

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

parsec-free

async-pool

pushme

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

scripts

Various and sundry shell scripts used on my system

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

sacred-writings

A bilingual typesetting of the Hidden Words

sitebuilder

Common Hakyll builder for my websites

johnwiegley

My personal website, at johnwiegley.com

nixpkgs

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

c2g-schedule

A group scheduling solver for Copper to Gold

three-partition

A 3-partition solver using SBV and optimization

emacs-format-all-the-code

Auto-format source code in many languages with one command

hakyll

A static website compiler library in Haskell

hs-hashes

Haskell hash functions

quill

Governance & ledger toolkit for cold wallets