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.
Dataflow programming language where you write a program as a message-passing graph and everything runs in parallel by default. It has strong static types, compiles to machine code, interoperates with Go, and supports visual programming with a node editor. Extremely LLM-friendly too.
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: 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
Some explorations about programming languages
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.
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."