Jan Mas Rovira
Compilers, types and programming for fun
Pull Requests
555
Code Reviews
1,045
Top Repositories
Activity Feed (latest 27)
pushed to ease-inference in anoma/goose-lean
Jul 4, 2025, 11:27 AM
pushed to boolcheck in anoma/goose-lean
Jul 4, 2025, 11:19 AM
deleted branch refactor-goose-to-avm at anoma/goose-lean
Jul 4, 2025, 11:16 AM
closed an issue in anoma/goose-lean
Jul 4, 2025, 11:16 AM
pushed to main in anoma/goose-lean
Jul 4, 2025, 11:16 AM
merged a pull request in anoma/goose-lean
Jul 4, 2025, 11:16 AM
reviewed a pull request in anoma/goose-lean
Jul 4, 2025, 11:16 AM
opened a pull request in anoma/goose-lean
Jul 4, 2025, 11:15 AM
created a branch boolcheck in anoma/goose-lean
Jul 4, 2025, 11:15 AM
pushed to label-appdata-refactor in anoma/goose-lean
Jul 4, 2025, 9:25 AM
deleted branch add-license at anoma/goose-lean
Jul 4, 2025, 9:25 AM
pushed to main in anoma/goose-lean
Jul 4, 2025, 9:25 AM
merged a pull request in anoma/goose-lean
Jul 4, 2025, 9:25 AM
reviewed a pull request in anoma/goose-lean
Jul 4, 2025, 9:25 AM
reviewed a pull request in anoma/goose-lean
Jul 4, 2025, 9:25 AM
reviewed a pull request in anoma/goose-lean
Jul 4, 2025, 9:17 AM
Description of `PublicEvent` isn't defined
Jul 3, 2025, 5:13 PM
pushed to main in janmasrovira/chip-8
Jul 3, 2025, 4:16 PM
pushed to main in janmasrovira/lean-practice
Jun 23, 2025, 11:18 AM
pushed to main in anoma/juvix-stdlib
Jun 10, 2025, 7:33 AM
merged a pull request in anoma/juvix-stdlib
Jun 10, 2025, 7:33 AM
reviewed a pull request in anoma/juvix-stdlib
Jun 10, 2025, 7:33 AM
reviewed a pull request in anoma/juvix-stdlib
Jun 8, 2025, 10:48 AM
reviewed a pull request in anoma/juvix
Jun 6, 2025, 9:56 AM
reviewed a pull request in anoma/juvix
Jun 6, 2025, 7:46 AM
opened a pull request in anoma/juvix
Jun 5, 2025, 11:14 AM
created a branch readable-dependency-dir in anoma/juvix
Jun 5, 2025, 11:06 AM