It is called Cobuilder. It also contains an open Emulator and a free RTOS (CoOS). The resource (they call component) can be shared with every developer. Take a tour!

A New development platform

Topic		Replies	Views
ChipKit uC32 3rd Party Boards	16	12556	May 6, 2021
Free Builder & Free OS News	7	2644	May 6, 2021
chipKIT Max32 [Arduino compatible PIC board] 3rd Party Boards	25	29094	May 6, 2021
Arduino format with a 72MHz ARM Cortex-M3 News	64	23017	May 6, 2021
Microchip: Plataforma de desarrollo de código abierto compatible con Arduino Hardware Development	5	6630	May 6, 2021