typing
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:
Different Dynamic Typing SVG Generator—multi-line & blank-space formatting, multiple cursor styles, customizable delete speed, and more.
Related contents:
An extremely fast Python type checker and language server, written in Rust.
Related contents:
🛫 Zero-codegen, no-compile TypeScript type inference from protobuf messages.
protobuf-ts-types lets you define language-agnostic message types in proto format, then infers TypeScript types from them with no additional codegen.
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.
Optional Static Typing for Python.
Mypy is an optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") 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.
Gleam is a friendly language for building type-safe systems that scale!
Related contents:
Browser game that help learning to type à la Guitar Hero