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.
