<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
    <title>typing</title>
    <link rel="self" type="application/atom+xml" href="https://links.biapy.com/guest/tags/813/feed"/>
    <updated>2026-04-24T08:56:18+00:00</updated>
    <id>https://links.biapy.com/guest/tags/813/feed</id>
            <entry>
            <id>https://links.biapy.com/links/11781</id>
            <title type="text"><![CDATA[Ship types, not docs]]></title>
            <link rel="alternate" href="https://shiptypes.com/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/11781"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[Types are the contract between services, docs are not.]]>
            </summary>
            <updated>2026-02-11T13:27:49+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/10542</id>
            <title type="text"><![CDATA[GitType]]></title>
            <link rel="alternate" href="https://github.com/unhappychoice/gittype" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/10542"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[A CLI code-typing game that turns your source code into typing challenges.

GitType turns your own source code into typing challenges. Because why practice with boring lorem ipsum when you can type your beautiful fn main() implementations?

Related contents:

- [GitType - Le jeu qui vous fait retaper votre propre code (pour redevenir bon !!) @ Korben :fr:](https://korben.info/gittype-typing-game-code-cli.html).]]>
            </summary>
            <updated>2025-10-06T08:54:00+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/10050</id>
            <title type="text"><![CDATA[TypingSVG]]></title>
            <link rel="alternate" href="https://typingsvg.vercel.app/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/10050"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[Different Dynamic Typing SVG Generator—multi-line &amp;amp; blank-space formatting, multiple cursor styles, customizable delete speed, and more. 

- [Typing SVG @ GitHub](https://github.com/whiteSHADOW1234/TypingSVG).

Related contents:

- [TypingSVG - Un générateur d&amp;#039;animations qui rend vos textes vivants @ Korben :fr:](https://korben.info/typingsvg-generateur-animations-svg.html).]]>
            </summary>
            <updated>2025-09-08T10:37:37+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/918</id>
            <title type="text"><![CDATA[sqlc]]></title>
            <link rel="alternate" href="https://sqlc.dev/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/918"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[Compile SQL to type-safe code;
catch failures before they happen. 

- [sqlc @ GitHub](https://github.com/sqlc-dev/sqlc).]]>
            </summary>
            <updated>2025-08-28T18:30:43+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/932</id>
            <title type="text"><![CDATA[protobuf-ts-types]]></title>
            <link rel="alternate" href="https://github.com/nathanhleung/protobuf-ts-types" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/932"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[🛫 Zero-codegen, no-compile TypeScript `type` inference from protobuf `message`s.

protobuf-ts-types lets you define language-agnostic message types in proto format, then infers TypeScript types from them with no additional codegen.]]>
            </summary>
            <updated>2025-08-28T18:34:35+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/945</id>
            <title type="text"><![CDATA[ts-rest]]></title>
            <link rel="alternate" href="https://ts-rest.com/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/945"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[Incrementally adoptable type-safety for your new and existing APIs.
 RPC-like client, contract, and server implementation for a pure REST API 

ts-rest offers a simple way to define a contract for your API, which can be both consumed and implemented by your application, giving you end to end type safety without the hassle or code generation.

- [ts-rest @ GitHub](https://github.com/ts-rest/ts-rest).]]>
            </summary>
            <updated>2025-08-28T18:35:34+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/2273</id>
            <title type="text"><![CDATA[mypy]]></title>
            <link rel="alternate" href="https://www.mypy-lang.org/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/2273"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[Optional Static Typing for Python.

 Mypy is an optional static type checker for Python that aims to combine the benefits of dynamic (or &amp;quot;duck&amp;quot;) typing and static typing. Mypy combines the expressive power and convenience of Python with a powerful type system and compile-time type checking. Mypy type checks standard Python programs; run them using any Python VM with basically no runtime overhead. 

- [mypy @ GitHub](https://github.com/python/mypy).
- [\[JOUR 18\] II. Python, the right way : Types, Type Hints et Mypy @ Data-Crafting.io Newsletter :fr:](https://datacrafting.substack.com/p/jour-18-ii-python-the-right-way-types).]]>
            </summary>
            <updated>2025-08-28T22:16:38+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/3326</id>
            <title type="text"><![CDATA[Gleam]]></title>
            <link rel="alternate" href="https://gleam.run/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/3326"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[Gleam is a friendly language for building type-safe systems that scale! 

- [Gleam @ GitHub](https://github.com/gleam-lang/gleam/).

Related contents:

- [6 years with Gleam @ Peter Saxton](https://crowdhailer.me/2024-10-04/6-years-with-gleam/).
- [My First Impressions of Gleam @ Michael Lynch](https://mtlynch.io/notes/gleam-first-impressions/).]]>
            </summary>
            <updated>2025-08-29T01:10:52+00:00</updated>
        </entry>
            <entry>
            <id>https://links.biapy.com/links/6049</id>
            <title type="text"><![CDATA[KEYBOARD HERO]]></title>
            <link rel="alternate" href="https://www.keyboard-heroes.com/" />
            <link rel="via" type="application/atom+xml" href="https://links.biapy.com/links/6049"/>
            <author>
                <name><![CDATA[Biapy]]></name>
            </author>
            <summary type="text">
                <![CDATA[Browser game that help learning to type à la Guitar Hero]]>
            </summary>
            <updated>2025-08-29T08:44:54+00:00</updated>
        </entry>
    </feed>
