Search Results for "typing"
Sort By:
2 projects for "typing" with 2 filters applied:
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
MyPy
Optional static typing for Python
mypy is a static type checker for Python that analyzes source code without executing it, catching type errors early in development. It implements PEP 484-style type hints and supports gradual typing, allowing untyped or partially typed modules to coexist with statically typed code. 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. ... -
2
GloboNote
Create sticky notes, to-do list, journals & reminders all in one app
GloboNote is a free and easy to use desktop note taking application. It lets you create sticky notes, to-do lists, journals, reminders and other notes in one place. There are no limits to the number of sticky notes you can create. Notes can be organize by groups and search using the search tool. GloboNote can be run in any OS that has Java 8 installed.
- Previous
- You're on page 1
- Next
