Popular: Data updated November 11, 2026

Categories

Internet1,405
Communication327
Audio & video929
Graphics & design563
Office & productivity1,164
Developer tools3,260
AI tools596
Security & privacy405
System tools3,170
Games542
Education & science240
Network & IT292

ty 0.0.78 download

An extremely fast Python type checker and language server, written in Rust.

This is an older version. The current version is 0.0.98. ty 0.0.98 · Released:

Installer files 0.0.78

ArchitectureTypeScopeFile sizeDownloadSHA256
64-bit ZIP → Portable — — github.com VirusTotal
ARM64 ZIP → Portable — — github.com VirusTotal
32-bit ZIP → Portable — — github.com VirusTotal

Link and SHA256 come from the Windows Package Manager community manifest. Compare the hash of the downloaded file before running it.

Release notes

Bug fixes
- Defer decorator-call diagnostics to avoid recursive-default cycles (#28226)
- Make cyclic intersection simplification deterministic (#28156)
- Stabilize cyclic terminal-call reachability (#28216)

Preview features
- Refresh uv workspace metadata when dependencies change (#28224)

Diagnostics
- Add a new disjoint-cast rule (#28129)
- Report deprecated property accessors on intersections (#28250)
- Report deprecations for implicit constructor calls (#28251)
- Report deprecations for overloads, operators, and properties (#28134)
- Respect overload selection in deprecation diagnostics (#28148)

Core type checking
- Fix negative narrowing for protocols with gradual members (#28198)
- Preserve ParamSpec bindings inferred against type context (#28084)
- Preserve generic protocol materialization relations (#28246)
- Preserve uncertain branches during quantification (#28211)
- Respect type variables in top/bottom materializations of invariant generics (#28072)
- Sync vendored typeshed stubs (#28217). Typeshed diff
- Treat captured bound-method receivers covariantly (#28180)
- Unsound intersection simplification for generic iterables (#28068)
- Validate type variable scopes in constructors and aliases (#28130)
- lambda functions are always truthy (#28254)

Performance
- Optimize materialized recursive protocol comparisons (#28079)
- Optimize recursive protocol checks for nested type variables (#28257)

Contributors
- @charliermarsh
- @sharkdp
- @zsol
- @AlexWaygood
- @ibraheemdev
- @carljm

https://github.com/astral-sh/ty/releases/tag/0.0.78

Most popular in Languages & SDKs

See all
  1. Go Programming LanguageAn open source programming language that makes it simple to build secure, scalable systems.
  2. LLVMA collection of modular and reusable compiler and toolchain technologies.
  3. DenoA modern runtime for JavaScript and TypeScript
  4. CMakeCMake is a cross-platform, open-source build system generator.
  5. YarnYarn is a package manager that doubles down as project manager. Whether you work on one-shot projects or large monorepos, as a hobbyist or an enterprise user, we've got you covered.
  6. pnpmFast, disk space efficient package manager.
  7. CcacheCcache is a compiler cache. It speeds up recompilation by caching previous compilations and detecting when the same compilation is being done again.
  8. sbtA build tool for Scala, Java, and more
  9. BOINCOpen-source software for volunteer computing and grid computing.
  10. Dart SDKA set of tools and libraries for the Dart programming language.

More from Astral Software Inc.

See all
  • uvAn extremely fast Python package and project manager, written in Rust.

Tags

Share