A free Windows-compatible Operating System

The seL4 microkernel

A Linux version of the Procmon Sysinternals tool

GNU toolchain for RISC-V, including GCC

A system daemon to allow session software to update firmware

Universal configuration library parser

Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

Library for solving packages and reading repositories

The systemd project's "logind", extracted to a standalone package

Lua bindings for libgit2

Automatically exported from code.google.com/p/llvm-lua

A library providing C and Python (libcURL like) API for downloading packages and linux repository metadata in rpm-md format

Milli linux çekirdeği projesi - Çiğdem

An alternative and small cloud-init implementation in C

Leveraging debhelpers when packaging for Debian with CMake/CPack

OpenSource - Docker integration in CPack/CMake

A new init system for Panux designed to be fast and lightweight

Configuration Manager for Pardus