John Wiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
Pull Requests
359
Code Reviews
721
Top Repositories
Activity Feed (latest 50)
commented on issue ledger/ledger#2428
Jul 4, 2025, 6:32 AM
commented on issue ledger/ledger#2428
Jul 3, 2025, 11:01 PM
opened an issue in ledger/ledger
Jul 2, 2025, 11:12 PM
commented on issue minad/consult#1239
Jul 2, 2025, 11:10 PM
opened an issue in minad/consult
Jul 2, 2025, 8:57 PM
pushed to main in jwiegley/machines
Jul 2, 2025, 8:28 PM
pushed to main in jwiegley/machines
Jul 2, 2025, 8:27 PM
pushed to main in jwiegley/machines
Jul 2, 2025, 7:42 PM
pushed to main in jwiegley/machines
Jul 2, 2025, 7:28 PM
pushed to main in jwiegley/machines
Jul 2, 2025, 7:03 PM
pushed to main in jwiegley/machines
Jul 2, 2025, 6:50 PM
pushed to main in jwiegley/machines
Jul 2, 2025, 6:48 PM
closed an issue in ledger/ledger
Jul 2, 2025, 5:50 PM
commented on issue ledger/ledger#2427
Jul 2, 2025, 5:18 PM
commented on issue ledger/ledger#2427
Jul 2, 2025, 5:17 PM
commented on issue ledger/ledger#2427
Jul 2, 2025, 4:59 PM
commented on issue jwiegley/gptel-prompts#6
Jul 1, 2025, 7:56 PM
closed an issue in jwiegley/gptel-prompts
Jul 1, 2025, 7:56 PM
pushed to main in jwiegley/gptel-prompts
Jul 1, 2025, 7:56 PM
commented on issue jwiegley/gptel-prompts#6
Jul 1, 2025, 4:17 PM
pushed to main in jwiegley/machines
Jul 1, 2025, 3:28 PM
pushed to main in jwiegley/machines
Jul 1, 2025, 5:38 AM
commented on issue karthink/gptel#868
Jun 30, 2025, 11:33 PM
closed an issue in karthink/gptel
Jun 30, 2025, 11:33 PM
pushed to main in jwiegley/machines
Jun 30, 2025, 7:13 AM
pushed to main in jwiegley/machines
Jun 30, 2025, 6:58 AM
pushed to main in jwiegley/machines
Jun 30, 2025, 6:48 AM
pushed to main in jwiegley/machines
Jun 30, 2025, 6:38 AM
pushed to main in jwiegley/machines
Jun 30, 2025, 6:21 AM
pushed to main in jwiegley/machines
Jun 29, 2025, 7:39 PM
pushed to main in jwiegley/machines
Jun 29, 2025, 7:46 AM
pushed to main in jwiegley/machines
Jun 29, 2025, 7:01 AM
created a tag race_free_1 in jwiegley/machines
Jun 29, 2025, 5:10 AM
pushed to main in jwiegley/machines
Jun 28, 2025, 9:43 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 9:42 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 9:42 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 9:24 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 9:10 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 9:04 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 9:03 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 9:00 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 8:56 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 8:49 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 8:41 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 6:20 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 6:20 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 6:16 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 6:02 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 5:44 PM
pushed to main in jwiegley/machines
Jun 28, 2025, 5:41 PM