close
The Wayback Machine - https://web.archive.org/web/20210215031035/https://github.com/jwiegley
Skip to content
Avatar
  • Block or report user

    Block or report jwiegley

    Block user

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

    Report abuse

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

    Report abuse
2k followers · 0 following · 113

Highlights

  • Arctic Code Vault Contributor

Organizations

@ledger @lens @haskell-nix

Popular repositories

  1. use-package

    A use-package declaration for simplifying your .emacs

    Emacs Lisp 3.4k 215

  2. git-scripts

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

    Shell 1.2k 215

  3. emacs-async

    Simple library for asynchronous processing in Emacs

    Emacs Lisp 586 60

  4. category-theory

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

    Coq 560 49

  5. dot-emacs

    My .emacs.el file and other personal Emacs goodies

    Emacs Lisp 524 95

  6. git-from-the-bottom-up

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

    448 77

1,881 contributions in the last year

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

Contribution activity

February 2021

Created 63 commits in 5 repositories
Reviewed 3 pull requests in 1 repository

Created an issue in coq/coq that received 4 comments

File "vernac/metasyntax.ml", line 1136, characters 17-23: Assertion failed

The following type class results in the title error: Require Import Coq.Classes.Equivalence Coq.Classes.Morphisms Coq.Classes.SetoidClass. Notation …

4 comments
97 contributions in private repositories Feb 1 – Feb 12

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