Search Results for "module"

...The tool integrates with common editors and CI systems, and offers a daemon mode for fast, incremental checks across large codebases. Advanced configuration via mypy.ini or pyproject.toml enables per-module strictness, plugin hooks for popular libraries, and fine-grained control of inference and error reporting. Documentation covers everything from newcomer guides to strict mode recipes and release notes. The ecosystem includes typed stubs, third-party plugins, and broad community support that makes mypy a default choice for large Python projects.

Clipio is a fast and easy way to manage your clipboard. The idea came about when I was working on a project and needed to manually edit the names of certain files to include underscores instead of spaces. I quickly realized that a tool capable of converting spaces to underscores would also be capable of delivering plenty of other useful features.

PHP Shrink IT is a free and open source URL Shortening Script. Currently its the basic version of the script. Soon i will launch a more advanced version with admin module, statistics and SEO. PHP Shrink IT is a modification of the script Open URL Shortener by Rodrigo J. Polo, i have implemented it using twitter bootstrap framework.

OpenCms Module Developer is a productivity tool that is provided as an Eclipse plug-in which aids the development of OpenCms (an Open Source Content Management System) modules.

This program turns your HP-41CX (or 41C/CV with a time module) into the ultimate alarm clock. Preset alarm times, move alarm by preset times, hold, snooze and more. Even hear the time so you don't have to turn on the light to see what time it is :)