Skip to content
Avatar
2.1k followers · 0 following · 121

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

    A use-package declaration for simplifying your .emacs

    Emacs Lisp 3.6k 229

  2. git-scripts

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

    Shell 1.2k 223

  3. emacs-async

    Simple library for asynchronous processing in Emacs

    Emacs Lisp 613 61

  4. category-theory

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

    Coq 584 48

  5. dot-emacs

    My .emacs.el file and other personal Emacs goodies

    Emacs Lisp 536 96

  6. git-from-the-bottom-up

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

    523 84

1,874 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

August 2021

Created 57 commits in 9 repositories
Created 1 repository

Created a pull request in conal/adders-and-arrows that received 4 comments

Add a default.nix that allows a full build of adders-and-arrows

+100 −0 • 4 comments
Reviewed 17 pull requests in 6 repositories
dfinity/agent-rs 9 pull requests
dfinity/quill 2 pull requests
dfinity/cycles-wallet 2 pull requests
dfinity/cdk-rs 2 pull requests
dfinity/docs 1 pull request
dfinity/agent-js 1 pull request
19 contributions in private repositories Aug 2 – Aug 24

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