James Kay
PL turtle. Distributed/concurrent/async/systems/end-user programming. Weird interfaces. Analogue, but make it (balanced) ternary.
Pull Requests
280
Code Reviews
701
Top Repositories
| # | Repository | Stars | Forks | Issues | Contributors |
|---|---|---|---|---|---|
1 | Twey/mkRustCrate | 21 | 6 | 2 | -1 |
2 | Twey/agda-imp | 5 | 1 | 0 | -1 |
3 | Twey/gloss-banana | 3 | 5 | 2 | -1 |
4 | Twey/friendly-lojban | 1 | 1 | 0 | -1 |
5 | Twey/dotfiles | 1 | 0 | 0 | -1 |
6 | Twey/cll | 1 | 1 | 0 | -1 |
7 | Twey/bloop | 1 | 0 | 0 | -1 |
8 | Twey/agda-tensor-logic | 1 | 0 | 0 | -1 |
9 | Twey/musl-staticlib-test | 0 | 0 | 0 | -1 |
10 | Twey/markdown-codeblocks | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
commented on pull request NixOS/nixpkgs#419593
reviewed a pull request in NixOS/nixpkgs
commented on pull request NixOS/nixpkgs#419593
reviewed a pull request in NixOS/nixpkgs
commented on issue NixOS/nixpkgs#419593
commented on issue NixOS/nixpkgs#347510
closed a pull request in NixOS/nixpkgs
commented on issue NixOS/nixpkgs#347511
closed a pull request in NixOS/nixpkgs
commented on issue NixOS/nixpkgs#347513
closed a pull request in NixOS/nixpkgs
commented on issue NixOS/nixpkgs#347533
closed a pull request in NixOS/nixpkgs
commented on issue NixOS/nixpkgs#347518
closed a pull request in NixOS/nixpkgs
commented on issue NixOS/nixpkgs#347531
closed a pull request in NixOS/nixpkgs
commented on issue NixOS/nixpkgs#347532
closed a pull request in NixOS/nixpkgs
commented on issue NixOS/nixpkgs#347534