Tcl provides a portable scripting environment for Unix, Windows, and Macintosh that supports string processing and pattern matching, native file system access, shell-like control over other programs, TCP/IP networking, timers, and event-driven I/O. Tcl has traditional programming constructs like variables, loops, procedures, namespaces, error handling, script packages, and dynamic loading of DLLs. Tk provides portable GUIs on UNIX, Windows, and Macintosh. A powerful widget set and the concise scripting interface to Tk make it a breeze to develop sophisticated user interfaces.
uIP is probably the smallest implementation of the TCP/IP protocol stack ever written in a high level language; the code footprint is on the order of a few kilobytes and RAM usage is on the order of a few hundred bytes. uIP is intended to be used in embedded systems running low end 8- and 16-bit microcontrollers.
uVNC is a very small VNC server that can be run even on tiny 8-bit microcontrollers commonly found in small embedded devices. With uVNC, such devices can have a networked display without the need for any graphics hardware or a computer screen. A demo server running on a Commodore 64 is available.
Contiki is an open source, highly portable, networked, multi-tasking operating system for the Internet of Things. Contiki includes a multitasking kernel, a TCP/IP stack and a set of application programs, and a low-power radio communication stack. It is written in C and designed to be very small: it runs comfortably in a few kilobytes of RAM.
Avrora is a set of tools for programs that run on the AVR series of microcontrollers produced by Atmel. It contains a flexible framework for simulating, analyzing, and optimizing assembly programs, and provides a clean Java API and infrastructure for experimentation, profiling, and analysis.
The Virgil Programming Language is designed for building robust, flexible, and scalable software systems on embedded hardware platforms such as microcontrollers. Virgil builds on ideas from object-oriented, statically typed languages like Java, providing a clean, consistent source language. Its compiler system provides an efficient implementation for resource-constrained environments.