KaarPux is aimed at developers who want to build and explore a Linux distribution where they have complete control over the build process. The build process, as well as each package, are described in simple "YAML" files, which are then transformed into shell scripts used to build KaarPux.
libefgy is a set of C++ headers containing lots of templates loosely related to maths. The headers include templates for fractional arithmetic, big integers (and thus "big fractions"), calculating π, e, and some calculations with those (for trigonometrics), matrix manipulations, tuples, polar and Euclidian spaces in arbitrary dimensions, (perspective) projections, colour space manipulations in RGB and HSL, and assorted other things.
Spack is a standalone package manager with its own CPIO-based package format but aiming to keep total compatibility with Slackware Linux. Written in POSIX shell as much as it makes sense, it attempts to provide a fairly complete toolkit to build, install, remove, list, retrieve, and arrange your packages. It can be used as an alternative to Slackware's pkgtools, just to independently and properly manage your local software on any distribution, or as the main package manager of the distribution you build yourself.
validator.py is a tool for ensuring that data conforms to certain sets of rules, called validations. A validation is essentially a schema for a dictionary, containing a list of rules for each key/value pair in the dictionary you want to validate. This is intended to fill a similar use case to form validations in WTForms or Rails, but for general sources of data, not just Web forms.
TTA-based Co-design Environment (TCE) is a toolset that provides a complete co-design flow from C programs down to synthesizable VHDL and parallel program binaries. Processor customization points include the register files, function units, supported operations, and the interconnection network.