Free Prolog compiler with constraint solving over finite domains
mikroC PRO for ARMis a full-featured ANSI C compiler for ARM Cortex-M0.
Complete C/C++ and assembly language development system.
A Pascal compiler for ARM Cortex-M3 and Cortex-M4 devices.
It is an application development environment for Microchip PIC microcontrollers.
