avatar

Jan Mas Rovira

Compilers, types and programming for fun

Joined on Sep, 201326 repositories

Pull Requests

555

Code Reviews

1,045

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