Predicate logic and rule composition used by: - dry-types for constrained types. - dry-validation for composing validation rules.

The NVIDIA binary driver provides optimized hardware acceleration of OpenGL/GLX/EGL/GLES applications via a direct-rendering X Server for graphics cards using NVIDIA chip sets.

The Free Pascal Compiler is an Object Pascal compiler supporting both Delphi and Turbo Pascal 7.0 dialects, as well as Mac Pascal dialects. It provides a completely portable RunTime Library (RTL) available on many platforms and compatible with Turbo Pascal, along with a platform-independent class-based Free Component Library (FCL) adding many Delphi extensions and interfacing with many popular open source libraries.