Wen Kokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai
Pull Requests
560
Code Reviews
358
Top Repositories
Activity Feed (latest 50)
commented on issue plfa/plfa.github.io#962
Jul 4, 2025, 11:07 AM
Description of `WatchEvent` isn't defined
Jul 3, 2025, 10:25 PM
deleted branch dependabot/npm_and_yarn/jest-30.0.4 at wenkokke/tree-sitter-talon
Jul 3, 2025, 8:15 AM
pushed to dev in wenkokke/tree-sitter-talon
Jul 3, 2025, 8:15 AM
merged a pull request in wenkokke/tree-sitter-talon
Jul 3, 2025, 8:15 AM
pushed to dev-tufte in plfa/plfa.github.io
Jul 1, 2025, 6:37 PM
pushed to dev-tufte in plfa/plfa.github.io
Jul 1, 2025, 6:35 PM
deleted branch pre-commit-ci-update-config at wenkokke/talondoc
Jun 30, 2025, 7:20 PM
pushed to main in wenkokke/talondoc
Jun 30, 2025, 7:20 PM
merged a pull request in wenkokke/talondoc
Jun 30, 2025, 7:20 PM
reviewed a pull request in wenkokke/talondoc
Jun 30, 2025, 7:20 PM
deleted branch dependabot/submodules/example/community-a007ee7 at wenkokke/talondoc
Jun 30, 2025, 7:20 PM
pushed to main in wenkokke/talondoc
Jun 30, 2025, 7:20 PM
merged a pull request in wenkokke/talondoc
Jun 30, 2025, 7:20 PM
reviewed a pull request in wenkokke/talondoc
Jun 30, 2025, 7:20 PM
pushed to main in wenkokke/tutorial-template
Jun 30, 2025, 2:06 PM
pushed to feature-agda in wenkokke/tutorial-template
Jun 30, 2025, 1:59 PM
pushed to feature-epub in wenkokke/tutorial-template
Jun 30, 2025, 1:58 PM
pushed to main in wenkokke/tutorial-template
Jun 30, 2025, 1:57 PM
pushed to feature-epub in wenkokke/tutorial-template
Jun 30, 2025, 1:52 PM
pushed to main in wenkokke/tutorial-template
Jun 30, 2025, 1:45 PM
pushed to main in wenkokke/tutorial-template
Jun 30, 2025, 1:44 PM
pushed to main in wenkokke/talondoc
Jun 30, 2025, 10:52 AM
deleted branch pre-commit-ci-update-config at wenkokke/talondoc
Jun 30, 2025, 10:52 AM
merged a pull request in wenkokke/talondoc
Jun 30, 2025, 10:52 AM
commented on issue agda/agda#7959
Jun 29, 2025, 9:39 AM
commented on issue agda/agda#7959
Jun 29, 2025, 9:36 AM
Description of `ForkEvent` isn't defined
Jun 28, 2025, 9:44 PM
Description of `WatchEvent` isn't defined
Jun 28, 2025, 4:17 PM
deleted branch dependabot/submodules/example/community-9456dea at wenkokke/talondoc
Jun 23, 2025, 8:21 PM
pushed to main in wenkokke/talondoc
Jun 23, 2025, 8:21 PM
merged a pull request in wenkokke/talondoc
Jun 23, 2025, 8:21 PM
reviewed a pull request in wenkokke/talondoc
Jun 23, 2025, 8:21 PM
deleted branch pre-commit-ci-update-config at wenkokke/cookiecutter-haskell
Jun 23, 2025, 8:21 PM
pushed to dev in wenkokke/cookiecutter-haskell
Jun 23, 2025, 8:21 PM
merged a pull request in wenkokke/cookiecutter-haskell
Jun 23, 2025, 8:21 PM
deleted branch pre-commit-ci-update-config at wenkokke/py-tree-sitter-talon
Jun 23, 2025, 8:20 PM
pushed to dev in wenkokke/py-tree-sitter-talon
Jun 23, 2025, 8:20 PM
merged a pull request in wenkokke/py-tree-sitter-talon
Jun 23, 2025, 8:20 PM
pushed to dev in wenkokke/talonfmt
Jun 23, 2025, 8:20 PM
deleted branch pre-commit-ci-update-config at wenkokke/talonfmt
Jun 23, 2025, 8:20 PM
merged a pull request in wenkokke/talonfmt
Jun 23, 2025, 8:20 PM
reviewed a pull request in wenkokke/talondoc
Jun 23, 2025, 8:20 PM
pushed to master in well-typed/eventlog-live
Jun 23, 2025, 4:39 PM
merged a pull request in well-typed/eventlog-live
Jun 23, 2025, 4:39 PM
opened a pull request in well-typed/eventlog-live
Jun 23, 2025, 4:39 PM
created a branch wenkokke/fix-readme in well-typed/eventlog-live
Jun 23, 2025, 4:38 PM
pushed to master in well-typed/eventlog-live
Jun 23, 2025, 3:33 PM
merged a pull request in well-typed/eventlog-live
Jun 23, 2025, 3:33 PM
pushed to wenkokke/eventlog-live-examples in well-typed/eventlog-live
Jun 23, 2025, 3:21 PM