Help developers discover the tools you use. Get visibility for your team's tech choices and contribute to the community's knowledge.
The Docker Platform is the industry-leading container platform for continuous, high-velocity innovation, enabling organizations to seamlessly build and share any application — from legacy to what comes next — and securely run them anywhere | Typically 5x or more faster than mypy and other type checkers that are written in Python. It is meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. |
Integrated developer tools; open, portable images; shareable, reusable apps; framework-aware builds;
standardized templates; multi-environment support; remote registry management; simple setup for Docker and Kubernetes; certified Kubernetes; application templates; enterprise controls; secure software supply chain; industry-leading container runtime; image scanning; access controls; image signing; caching and mirroring; image lifecycle; policy-based image promotion | Hover tool tips that display type information; Links to symbol definitions; Smart priority queuing for interactive feedback during editing |
Statistics | |
GitHub Stars - | GitHub Stars 14.9K |
GitHub Forks - | GitHub Forks 1.7K |
Stacks 194.2K | Stacks 36 |
Followers 143.8K | Followers 31 |
Votes 3.9K | Votes 0 |
Pros & Cons | |
Pros
Cons
| No community feedback yet |
Integrations | |

It adds syntactic sugar inspired by Ruby, Python and Haskell in an effort to enhance JavaScript's brevity and readability. Specific additional features include list comprehension and de-structuring assignment.

TypeScript is a language for application-scale JavaScript development. It's a typed superset of JavaScript that compiles to plain JavaScript.

LXD isn't a rewrite of LXC, in fact it's building on top of LXC to provide a new, better user experience. Under the hood, LXD uses LXC through liblxc and its Go binding to create and manage the containers. It's basically an alternative to LXC's tools and distribution template system with the added features that come from being controllable over the network.

LXC is a userspace interface for the Linux kernel containment features. Through a powerful API and simple tools, it lets Linux users easily create and manage system or application containers.

Rocket is a cli for running App Containers. The goal of rocket is to be composable, secure, and fast.

Vagrant Cloud pairs with Vagrant to enable access, insight and collaboration across teams, as well as to bring exposure to community contributions and development environments.

Flow is a static type checker for Javascript created by Facebook.

It's the only MongoDB tool that provides three ways to explore data alongside powerful features like query autocompletion, polyglot code generation, a stage-by-stage aggregation query builder, import and export, SQL query support and more.

Virtuozzo leverages OpenVZ as its core of a virtualization solution offered by Virtuozzo company. Virtuozzo is optimized for hosters and offers hypervisor (VMs in addition to containers), distributed cloud storage, dedicated support, management tools, and easy installation.

It is 100% compatible with Ruby. It type checks normal method definitions, and introduces backwards-compatible syntax for method signatures. Explicit method signatures make it useful for anyone reading the code. Type annotations serve as a tool for understanding long after they're written.