strongly-typed 开源项目推荐（209 个）

typedb /typedb

TypeDB: Built for systems, not records

rustedpy /result

Not Maintained -一个简单的Rust，类似Python 3的Report类型。完全输入注释。

crdoconnor /strictyaml

Type-safe YAML parser and validator.

nevalang /neva

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.

phpstan /phpstan-strict-rules

Extra strict and opinionated rules for PHPStan

typedorm /typedorm

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

ivaylokenov /AspNet.Mvc.TypedRouting

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

akutruff /typescript-needs-types

TypeScript please give us types.

BlackHC /llm-strategy

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

neuledge /computed-types

🦩 Joi like validations for TypeScript

typedb /typeql

TypeQL: Built for systems, not records

istrib /vuex-typescript

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

Nikaple /nest-typed-config

Intuitive, type-safe configuration module for Nest framework ✨

zertovitch /hac

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

tealang /tea

Some explorations about programming languages

babyfish-ct /graphql-ts-client

Typescript DSL for GraphQL.

michael-damatov /lambda-converters

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

neuledge /ddb-table

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

isc30 /linq-collections

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

hitchdev /hitchstory

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