Pybik is an interactive, graphical, single player puzzle about the cube invented by Ernő Rubik. Besides the cube, the program can handle towers and bricks (non-cubic puzzles). Pybik also has solvers, pretty patterns, and a collection of various moves. The cube can be manipulated with the mouse or keyboard. You can change the colors or images on the faces of the cube.
QSMM, the "QSMM State Machine Model", is a framework for development of non-deterministic intelligent state models and systems with spur-driven behavior. It includes low-level functions for generating optimal actions by the system and high-level functions for building multinode models. In a multinode model, nodes represent components of a system you develop which choose optimal actions using the framework and can correspond to entities external to the system and which behavior is to be learnt. A node can choose optimal actions based on a current node state which is either set manually by your program or is identified automatically by the framework. Probability profiles for a state transition matrix and an action emission matrix of the node can be specified using an assembler program with a user-defined instruction set.
Ansible is a radically simple deployment, configuration, and command execution framework. It is dead simple and painless to extend. Extending Ansible does not require programming in any particular language; you can write modules as scripts or programs which return simple JSON. It’s also trivially easy to just execute useful shell commands.
GCC-MELT is a high-level domain specific language that eases the development of plugin-like extensions for GCC, the Gnu Compiler Collection. These extensions can analyze or modify GCC internal representations, and can be used for static source code analysis, refactoring, specific warnings, optimizations, etc. The MELT language provides high-level features. Notably, MELT code is translated to C or C++, and can even contain C or C++ code. It includes powerful pattern matching facilities and can manipulate dynamically typed values and raw GCC structures. It enables functional/applicative, object-oriented, reflective programming styles and has a familiar Lisp-like syntax.
Tomld (tomoyo learning daemon) is an extension to the Tomoyo security framework. Tomoyo increases security by confining applications and services into domains using rules. Tomld automates this process, helping users harden their systems more easily. To do this, tomld starts in learning mode, creates Tomoyo domains, collects rules, changes them, and, once the rules appear to be complete, tomld enforces the policy.