33 open source projects by jwiegley

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

A library for formalizing Haskell types and functions in Coq

A complete chess client written in Emacs Lisp.

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

Control theory in Haskell: Data structures, algorithms and adapters

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

A universal interface to multiple unarchiving tools

A system for importing CSV files into Ledger, by Russell Adams

Simple library for asynchronous processing in Emacs

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

My .emacs.el file and other personal Emacs goodies

A Growl-like alerts notifier for Emacs

A use-package declaration for simplifying your .emacs

My local Nix configuration

A history of Emacs releases, under version control

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

Code for keep an investment trade journal

A distributed issue tracking system based on Git repositories, written in Python

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

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

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

An Emacs command for updating fetch declarations in place

No description, website, or topics provided.

A presentation for BayHac 2017 on how I uses lenses at work

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

Utility for finding all Git repositories that need attention

No description, website, or topics provided.

No description, website, or topics provided.

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

No description, website, or topics provided.