Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
@jwiegley
jwiegley
Follow
View jwiegley's full-sized avatar

John Wiegley jwiegley

Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

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 aboutblocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositoriesLoading

  1. use-packageuse-packagePublic

    A use-package declaration for simplifying your .emacs

    Emacs Lisp 4.4k 259

  2. git-scriptsgit-scriptsPublic

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

    Shell 1.4k 240

  3. emacs-asyncemacs-asyncPublic

    Simple library for asynchronous processing in Emacs

    Emacs Lisp 847 68

  4. git-from-the-bottom-upgit-from-the-bottom-upPublic

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

    843 109

  5. category-theorycategory-theoryPublic

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

    Coq 766 72

  6. dot-emacsdot-emacsPublic

    My .emacs.el file and other personal Emacs goodies

    Emacs Lisp 703 94


[8]ページ先頭

©2009-2025 Movatter.jp