The Digilent Core is a plugin for the Arduino development environment that provides support for Digilent hardware platforms.