8000 jwiegley (John Wiegley) · GitHub
[go: up one dir, main page]
Skip to content
View jwiegley's full-sized avatar
2.7k followers · 1 following

Sponsors

@ejneer
@rwilson4
@yuanw
@mickeynp
@imalsogreg
@kroesche
@scarpent

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: Starstruckx4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: Starstruckx4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Organizations

@ledger @lens @haskell-nix

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. category-theory category-theory Public

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

    Rocq Prover 819 85

  2. dot-emacs dot-emacs Public

    My .emacs.el file and other personal Emacs goodies

    Emacs Lisp 796 95

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

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

    SCSS 894 114

  4. emacs-async emacs-async Public

    Simple library for asynchronous processing in Emacs

    Emacs Lisp 913 72

0