José Pedro Magalhães
JosePedroMagalhaes is part of the following groups:- Maintainers for FComp : candidates
- Maintainers for HarmTrace-Base : candidates
- Maintainers for HarmTrace : candidates
- Maintainers for gdiff-ig : candidates
- Maintainers for generic-deriving : candidates
- Maintainers for guarded-rewriting : candidates
- Maintainers for htime : candidates
- Maintainers for instant-generics : candidates
- Maintainers for multirec : candidates
- Maintainers for regular-extras : candidates
- Maintainers for regular : candidates
- Maintainers for rewriting : candidates
- Maintainers for syb : candidates
- Maintainers for transformations : candidates
- Package uploaders
Click here to manage this account