Skip to content
You must be logged in to sponsor jwiegley

Become a sponsor to John Wiegley

@jwiegley

John Wiegley

jwiegley
California, USA

I work regularly on Emacs Lisp packages, the C++ Ledger project, several Haskell and Coq libraries, and occasional packages for Rust and Python. I also contribute work to nixpkgs and other projects, and am open to requests for assistance with any of the projects I'm working on or with.

Current sponsors 7

@ejneer
@rwilson4
@yuanw
@mickeynp
@imalsogreg
@kroesche
@scarpent
Past sponsors 4
Private Sponsor
@NethumL
Private Sponsor
@danielverdugo

Featured work

  1. jwiegley/use-package

    A use-package declaration for simplifying your .emacs

    Emacs Lisp 4,459
  2. jwiegley/git-scripts

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

    Shell 1,371
  3. jwiegley/category-theory

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

    Rocq Prover 808
  4. jwiegley/emacs-async

    Simple library for asynchronous processing in Emacs

    Emacs Lisp 912
  5. jwiegley/dot-emacs

    My .emacs.el file and other personal Emacs goodies

    Emacs Lisp 794
  6. jwiegley/git-from-the-bottom-up

    An introduction to the architecture and design of the Git content manager

    SCSS 891

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ one time

A Public Sponsor achievement will be added to your profile.