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 4

@ejneer
@yuanw
@imalsogreg
@rwilson4
Past sponsors 1
Private Sponsor

Featured work

  1. jwiegley/use-package

    A use-package declaration for simplifying your .emacs

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

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

    Shell 1,369
  3. jwiegley/category-theory

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

    Rocq Prover 785
  4. jwiegley/emacs-async

    Simple library for asynchronous processing in Emacs

    Emacs Lisp 872
  5. jwiegley/dot-emacs

    My .emacs.el file and other personal Emacs goodies

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

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

    SCSS 867

Select a tier

$ one time

A Public Sponsor achievement will be added to your profile.