FileCart

ty 0.0.91

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

filecart Windows Updated Oct 23, 2026
Download 13.07 MB
11downloads
3this week
FreeFreeware
0reviews

About ty

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

License: MIT
Release info Update on Oct 22, 2026
Release notes Release Notes

Released on 2026-10-22.

Bug fixes
• Improve generics solving when an intersection is passed into a generic call to prefer solving the call to a more precise type when it is safe to do so (#29578)
• Fix recursive type materialization (#29532)
• Infer return intersections from correlated call specializations (#28303)
• Preserve Self when checking universal protocols (#29207)
• Fix stack overflows involving recursive descriptor setter types (#29148)
• Preserve the namespace-package fallback in module discovery when the namespace-package fallback is obscured by a partial stub package (#29559)
• Report all missing @override decorators together (#29557)
• Fix false-positive invalid-argument-type diagnostics when inferring constrained type variables from callbacks that return an invariant generic with a gradual type argument (#29577)

Performance improvements
• Compare protocol receiver restrictions before binding (#29443)

LSP server
• Avoid cancelling requests for unrelated file changes (#29604)

Core type checking
• Generics solving: check for unsatisfiable bodies before existentially quantifying (#29504)
• Liskov diagnostics: Check inherited attribute conflicts (#28559)
• Return type inference: eneralize nested types in inferred return types (#29488)

Contributors
• @charliermarsh
• @sharkdp
• @dhruvmanila
• @carljm
• @MichaReiser
• @dcreager

Install ty 0.0.91

Install prebuilt binaries via shell script

sh
curl --proto '=https' --tlsv1.2 -LsSf https://releases.astral.sh/github/ty/releases/download/0.0.91/ty-installer.sh | sh

Install prebuilt binaries via powershell script

sh
powershell -ExecutionPolicy Bypass -c "irm https://releases.astral.sh/github/ty/releases/download/0.0.91/ty-installer.ps1 | iex"

Download ty 0.0.91

| File | Platform | Checksum |
|--------|----------|----------|
| ty-aarch64-apple-darwin.tar.gz | Apple Silicon macOS | checksum |
| ty-x86_64-apple-darwin.tar.gz | Intel macOS | checksum |
| ty-aarch64-pc-windows-msvc.zip |…
Related tags python
Listing datawinget

Reviews

No reviews yet. Be the first to review ty.

Used ty? Tell other visitors what you thought.

Log in to write a review

Other products by this publisher

Most viewed Windows Database Tools

  1. 1 Clarion viewer 2.52 This tool allow to read/open the Clarion tables on any computer. An application don't use any external libraries (no BDE, no ODBC, no ADO etc) You may see the full Clarion system information, table structure and data in grid. 24K
  2. 2 EMS SQL Manager for SQL Server 3.9 EMS SQL Manager for SQL Server is a high performance tool for Microsoft SQL Server database development and administration. SQL Manager works with any MS SQL Server versions from 7 to the newest one and supports the latest SQL Server features. 22K
  3. 3 DBF Viewer 2000 6.55 With DBF Viewer 2000 you can view, edit, sort, create, print and export dbf files to a variety of formats (DBF, TXT, CSV, Excel, HTML, XML, PRG, SQL, RTF) without using any packages. Unlike other similar programs, DBF Viewer 2000 is fast! 21K
  4. 4 DataNumen Access Repair 2.2 DataNumen Access Repair is a powerful Access recovery tool. It uses advanced technologies to scan the corrupt Microsoft Access databases and recover your data in them as much as possible, so to minimize the loss in file corruption. 18K
  5. 5 PHP DataGrid AJAX Enabled Web Control 8.2.7 PHP DataGrid (AJAX Enabled) script is a simple, innovative and powerful tool for generating data-bound grid control. It was specially designed for web developers. 18K
  6. 6 Universal SQL Editor 1.9.2.2 Intellisense enabled SQL editor for Oracle, DB2, SQL Server, Sybase, etc., with SQL formatter/beauifier, query result supports grouping, filtering, searching, and can also be exported to Excel spreadsheet or as a set of SQL statements. 16K
  7. 7 Excel-Mysql converter 3.0 convert MySql to Excel spreadsheets or convert any Microsoft Excel spreadsheets into MySQL utilizing easy to use Wizard style interface, Just follow the simple screens and let the wizard automatically do all the work .. 15K
  8. 8 xBaseView Database Explorer 11.0 Browse database Explorer style and other typical operations. Data export/import. Oracle, SQLAnywhere, PostgreSQL, Cache, SQL Server, Interbase, Firebird, Access, VFP, FoxPro, dBase, Clipper, Paradox, MySQL, SQLite, Borland CDS, XML, Excel, CSV, TAB. 15K
  9. 9 Data Loader 4.8 A simple yet powerful tool to Export, Import, Migrate and Convert data between different databases and delimited flat text CSV files. Supports Saving & Scheduling of Sessions and Repository. 14K
  10. 10 Altova MapForce Enterprise Edition 2017sp2 Altova MapForce 2017 Enterprise Edition is a graphical data mapping, integration, and ETL tool. Map any combination of XML, database, EDI, XBRL, flat file, Excel, JSON, and Web service, then convert data instantly or automate recurrent conversions. 14K

Most downloaded Windows Database Tools

  1. 1 Clarion viewer 2.52 This tool allow to read/open the Clarion tables on any computer. An application don't use any external libraries (no BDE, no ODBC, no ADO etc) You may see the full Clarion system information, table structure and data in grid. 3.6K
  2. 2 DBF Viewer 2000 6.55 With DBF Viewer 2000 you can view, edit, sort, create, print and export dbf files to a variety of formats (DBF, TXT, CSV, Excel, HTML, XML, PRG, SQL, RTF) without using any packages. Unlike other similar programs, DBF Viewer 2000 is fast! 2.9K
  3. 3 xBaseView Database Explorer 11.0 Browse database Explorer style and other typical operations. Data export/import. Oracle, SQLAnywhere, PostgreSQL, Cache, SQL Server, Interbase, Firebird, Access, VFP, FoxPro, dBase, Clipper, Paradox, MySQL, SQLite, Borland CDS, XML, Excel, CSV, TAB. 2.4K
  4. 4 Excel-Mysql converter 3.0 convert MySql to Excel spreadsheets or convert any Microsoft Excel spreadsheets into MySQL utilizing easy to use Wizard style interface, Just follow the simple screens and let the wizard automatically do all the work .. 2.4K
  5. 5 Data Loader 4.8 A simple yet powerful tool to Export, Import, Migrate and Convert data between different databases and delimited flat text CSV files. Supports Saving & Scheduling of Sessions and Repository. 2.3K
  6. 6 Universal SQL Editor 1.9.2.2 Intellisense enabled SQL editor for Oracle, DB2, SQL Server, Sybase, etc., with SQL formatter/beauifier, query result supports grouping, filtering, searching, and can also be exported to Excel spreadsheet or as a set of SQL statements. 2K
  7. 7 PHP DataGrid AJAX Enabled Web Control 8.2.7 PHP DataGrid (AJAX Enabled) script is a simple, innovative and powerful tool for generating data-bound grid control. It was specially designed for web developers. 2K
  8. 8 dbForge Studio for Oracle 4.5 dbForge Studio for Oracle is a powerful integrated development environment (IDE) which helps Oracle SQL developers to increase PL/SQL coding speed, provides versatile data editing tools for managing in-database and external data. 2K
  9. 9 DBScribe for SQL Server 1.4 Leadum DBScribe is a sql documentation tool for SQL Server. It supports a rich set of documentation styles, output formats (HTML, CHM, MS Word Document), wizard and command line interfaces, complete database schema documenting. 1.8K
  10. 10 DataNumen Access Repair 2.2 DataNumen Access Repair is a powerful Access recovery tool. It uses advanced technologies to scan the corrupt Microsoft Access databases and recover your data in them as much as possible, so to minimize the loss in file corruption. 1.8K