Nuttx is a real-time embedded operating system (RTOS). It has a small footprint that is usable in micro-controller environments. It is fully scalable from tiny (8-bit) to moderate embedded (32-bit) systems. It also aims to be fully compliant to standards, to be fully real time, and to be totally open.
VLC media player is a multimedia player, framework, streamer, and encoder. It can play inputs like files, network streams, DVDs, audio CDs, Blu-Rays, capture devices, and screens. It can play most audio and video codecs and formats (MPEG 1/2/4, H264, VC-1, DivX, WMV, Vorbis, AC3, AAC, MKV, etc.), but can also be used to convert to different formats and/or send streams through the network.
Fiwix is an operating system kernel based on the Unix architecture and fully focused on being Linux compatible. It is designed exclusively for educational purposes, so the kernel code is kept as simple as possible for the benefit of students. It runs on the 32-bit x86 hardware platform, and is compatible with a good base of existing GNU applications.
Concurrency Kit provides a plethora of concurrency primitives and lock-less and lock-free data structures designed to aid in the design and implementation of high performance scalable concurrent systems. It was designed to minimize dependencies on operating system-specific interfaces, and most of the interface relies only on a strict subset of the standard library and more popular compiler extensions.
Xvisor is a type-1 hypervisor that aims to provide a monolithic, light-weight, portable, and flexible virtualization solution for ARMv5, ARMv6, ARMv7a, ARMv7a-ve, ARMv8a, x86_64, and other CPU architectures. It primarily supports full virtualization, and hence supports a wide range of unmodified guest operating systems. Paravirtualization is optional and is supported in an architecture independent manner (such as VirtIO PCI/MMIO devices) to ensure that no changes are required in the guest OS.
musl is a new implementation of the standard library for Linux-based systems. It is lightweight, fast, simple, free, and strives to be correct in the sense of standards-conformance and safety. It includes a wrapper for building programs against musl in place of the system standard library (e.g. glibc), making it possible to immediately evaluate the library and build compact statically linked binaries with it.
An almost ISO C compatible C compiler that produces binaries for 6502-based computers. Targets that are supported out of the box are: Apple ][, Atari 8-bit machines, Commodore C64/C128/C16/C116, Commodore Plus/4, Commodore 600/700, GEOS for C64, and Lynx. The package includes a complete suite of assembler development tools (assembler, linker, archiver) which allows mixing of C and assembler code.