TypeDB: Built for systems, not records

NOT MAINTAINED - 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

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

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

TypeScript please give us types.

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

🦩 Joi like validations for TypeScript

TypeQL: Built for systems, not records

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

Intuitive, type-safe configuration module for Nest framework ✨

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

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.

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.

Want types in your forms? Want to have nested forms? This is the place to be...

A language toolchain for explicitly typed annotated Python. 🐍

Self-validating Ruby objects

Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability

Generate TypeScript definitions (types) from a PostgreSQL database schema.

C# Domain Primitives generator

C++ implementation of strong types

Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.

Strongly-typed, dependency based application framework for code/data separation with dependency injection and data passing.

💪🏾 A strongly-typed domain values source-generator