TNKernel is a compact and very fast real-time kernel for the embedded 32/16 bits microprocessors. TNKernel performs a preemptive priority-based scheduling and a round-robin scheduling for the tasks with identical priority. The current version of TNKernel includes semaphores, mutexes, data queues, event flags and fixed-sized memory pools.
OSA is a cooperative multitasking real-time operating system (RTOS) for Microchip PIC-controllers PIC10, PIC12, PIC16, PIC18, PIC24 and dsPIC.
СSP (Controller Support Package) - controller support package for Microchip PIC24F peripheral.
MP3 decoder library project for Microchip DSC dsPIC is based on well known fixed-point MP3 decoder MAD. Generally speaking this project based on another MAD port for TI TMS320C55xx that you can find in net (author: Grigory Abuladze).