A collection of machine-checkend mathematical proofs
A set of C libraries to implement data structures and algorithms
Unleashing the potentials of types and templates
Cygwin cross-compiler for Fedora
Extended C Library
Framework for bash 4
A machine code manipulation library for Intel 64 and IA-32.
Linear constraint feasibility check and get program.
RTTI for Python Source and Binary Files
Enumeration of Python implementations and releases
OS and Distribution Release Enumeration
Multidocument automation by templates - for sphinx, mkdocs, epydoc ...
Arno-Can's Python based API Reference Generator.
Utilities for platform indepentent low-level system APIs.
Pacthed namedtuple for field defaults.
Pacthed namedtuple for field defaults.
Lower-Layer unified data - JSON, XML, YAML + INI, CFG, properties
Pacthed namedtuple for field defaults.
Support of unit tests on multiple platforms and implementations.
Provides Java and integrated Jython/Pyhon + Java builds
a CLI generator and and SW library