<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
    <title>type-checker</title>
    <link rel="self" type="application/atom+xml" href="https://links.biapy.com/guest/tags/341/feed"/>
    <updated>2026-04-30T21:18:34+00:00</updated>
    <id>https://links.biapy.com/guest/tags/341/feed</id>
            <entry>
            <id>https://links.biapy.com/links/11142</id>
            <title type="text"><![CDATA[ty]]></title>
            <link rel="alternate" href="https://docs.astral.sh/ty/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/11142"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[An extremely fast Python type checker, written in Rust.

- [ty @ GitHub](https://github.com/astral-sh/ty).

Related contents:

- [ty: An extremely fast Python type checker and LSP @ Astral](https://astral.sh/blog/ty).]]>
            </summary>
            <updated>2025-12-17T12:56:41+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/172</id>
            <title type="text"><![CDATA[tRPC]]></title>
            <link rel="alternate" href="https://trpc.io/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/172"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[🧙‍♀️ Move Fast and Break Nothing. End-to-end typesafe APIs made easy. 

Experience the full power of TypeScript inference to boost productivity
for your full-stack application.

tRPC allows you to easily build &amp;amp; consume fully typesafe APIs without schemas or code generation.

- [tRPC @ GitHub](https://github.com/trpc/trpc).

Related contents:

- [The Multi-Repository TypeScript Problem @ carrick](https://www.carrick.tools/blog/the-multi-repository-typescript-problem).]]>
            </summary>
            <updated>2025-10-27T15:09:11+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/641</id>
            <title type="text"><![CDATA[Pyrefly]]></title>
            <link rel="alternate" href="https://pyrefly.org/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/641"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[A Static Type Checker for Python.

- [Pyrefly @ GitHub](https://github.com/facebook/pyrefly).

Related contents:

- [Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers @ Edward Li&amp;#039;s Blog](https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/).]]>
            </summary>
            <updated>2025-08-28T17:44:08+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/743</id>
            <title type="text"><![CDATA[ty]]></title>
            <link rel="alternate" href="https://github.com/astral-sh/ty" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/743"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[An extremely fast Python type checker and language server, written in Rust.

Related contents:

- [Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers @ Edward Li&amp;#039;s Blog](https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/).]]>
            </summary>
            <updated>2025-08-28T18:02:19+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/1526</id>
            <title type="text"><![CDATA[Pyre]]></title>
            <link rel="alternate" href="https://pyre-check.org/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/1526"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[A performant type-checker for Python 3.

Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code. You can try it out on examples in the Pyre Playground.

- [Pyre @ GitHub](https://github.com/facebook/pyre-check).

Related contents:

- [Pysa: An open source static analysis tool to detect and prevent security issues in Python code @ Engineering at Meta](https://engineering.fb.com/2020/08/07/security/pysa/).]]>
            </summary>
            <updated>2025-08-28T20:11:25+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/5093</id>
            <title type="text"><![CDATA[Flow]]></title>
            <link rel="alternate" href="https://flow.org/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/5093"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[Flow is a static type checker for JavaScript.

[Flow @ GitHub](https://github.com/facebook/flow).]]>
            </summary>
            <updated>2025-08-29T06:05:25+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/5291</id>
            <title type="text"><![CDATA[VineJS]]></title>
            <link rel="alternate" href="https://vinejs.dev/docs/introduction" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/5291"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[VineJS is a form data validation library for Node.js. You may use it to validate the HTTP request body in your backend applications.

[VineJS @ GitHub](https://github.com/vinejs/vine).]]>
            </summary>
            <updated>2025-08-29T06:39:45+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/5571</id>
            <title type="text"><![CDATA[Typia]]></title>
            <link rel="alternate" href="https://github.com/samchon/typia" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/5571"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[Super-fast Runtime validator (type checker) with only one line.

typia is a transformer library of TypeScript, supporting below features:

- Super-fast Runtime Validators
- Safe JSON parse and fast stringify functions
- JSON schema generator
- Random data generator]]>
            </summary>
            <updated>2025-08-29T07:25:08+00:00</updated>
        </entry>
    </feed>
