TypeDB: the power of programming, in your database

A simple Rust like Result type for Python 3. Fully type annotated.

Type-safe YAML parser and validator.

Extra strict and opinionated rules for PHPStan

A collection of extension methods providing strongly typed routing and link generation for ASP.NET Core MVC projects.

Strongly typed ORM for DynamoDB - Built with the single-table-design pattern in mind.

TypeScript please give us types.

Directly Connecting Python to LLMs via Strongly-Typed Functions, Dataclasses, Interfaces & Generic Types

🦩 Joi like validations for TypeScript

A simple way to make Vuex type-safe with intuitive intellisense

TypeQL: the power of programming, in your database

Intuitive, type-safe configuration module for Nest framework ✨

Programming is like drinking tea.

Typescript DSL for GraphQL.

Strongly-typed lambda expressions as value converters, data template selectors, and validation rules

🔒 Strongly typed library for querying and modeling DynamoDB documents in TypeScript.

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)

Type-safe YAML integration tests. Tests that write your docs. Tests that rewrite themselves.

A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used to the JavaScript/TypeScript language and ecosystem.