Jan Mas Rovira
Compilers, types and programming for fun
Pull Requests
565
Code Reviews
1,074
Top Repositories
| # | Repository | Stars | Forks | Issues | Contributors |
|---|---|---|---|---|---|
1 | janmasrovira/Zeno | 0 | 0 | 0 | -1 |
2 | janmasrovira/tokei | 0 | 0 | 0 | -1 |
3 | janmasrovira/Tidal-Media-Downloader | 0 | 0 | 0 | -1 |
4 | janmasrovira/surfing-keys-config | 0 | 0 | 0 | -1 |
5 | janmasrovira/stack-machine | 0 | 0 | 0 | -1 |
6 | janmasrovira/repline | 0 | 0 | 0 | -1 |
7 | janmasrovira/path-io | 0 | 0 | 0 | -1 |
8 | janmasrovira/microlens | 0 | 0 | 0 | -1 |
9 | janmasrovira/masterlogic-thesis | 0 | 0 | 0 | -1 |
10 | janmasrovira/lsp-playground | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
pushed to main in janmasrovira/chip-8
opened a pull request in anoma/goose-lean
created a branch hide-nfc in anoma/goose-lean
pushed to function-construct in anoma/goose-lean
pushed to function-construct in anoma/goose-lean
commented on pull request anoma/goose-lean#53
commented on pull request anoma/goose-lean#53
reviewed a pull request in anoma/goose-lean
reviewed a pull request in anoma/goose-lean
pushed to function-construct in anoma/goose-lean
pushed to function-construct in anoma/goose-lean
deleted branch fix-member-logics at anoma/goose-lean
pushed to main in anoma/goose-lean
closed an issue in anoma/goose-lean
merged a pull request in anoma/goose-lean
reviewed a pull request in anoma/goose-lean
pushed to main in janmasrovira/chip-8
pushed to main in janmasrovira/chip-8
pushed to main in janmasrovira/chip-8
pushed to main in janmasrovira/chip-8