TypeDB: the power of programming, in your database
-
Updated
May 6, 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
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
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
đź”’ 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."