TypeDB: the power of programming, in your database
-
Updated
Dec 20, 2025 - Rust
TypeDB: the power of programming, in your database
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.
🦩 Joi like validations for TypeScript
TypeQL: the power of programming, in your database
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.
Add a description, image, and links to the strongly-typed topic page so that developers can more easily learn about it.
To associate your repository with the strongly-typed topic, visit your repo's landing page and select "manage topics."