Skip to content
Avatar
2.2k followers · 1 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@ledger @lens @haskell-nix
Block or Report

Block or report jwiegley

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. use-package Public

    A use-package declaration for simplifying your .emacs

    Emacs Lisp 3.9k 241

  2. git-scripts Public

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

    Shell 1.3k 230

  3. emacs-async Public

    Simple library for asynchronous processing in Emacs

    Emacs Lisp 658 65

  4. category-theory Public

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

    Coq 642 54

  5. git-from-the-bottom-up Public

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

    566 92

  6. dot-emacs Public

    My .emacs.el file and other personal Emacs goodies

    Emacs Lisp 560 91

1,019 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!
Activity overview
Contributed to jwiegley/category-theory, dfinity/quill, jwiegley/comparable and 60 other repositories

Contribution activity

June 2022

Created 9 commits in 5 repositories
Reviewed 1 pull request in 1 repository
NixOS/nixpkgs 1 pull request
5 contributions in private repositories Jun 2 – Jun 3

Seeing something unexpected? Take a look at the GitHub profile guide.