type-safety

React 프레임워크를 위한 타입 안전(Type-safe) 검색 매개변수 상태 관리자 - useState와 유사하지만 URL 쿼리 스트링에 저장됩니다.

👷 TypeScript의 가장 큰 타입 유틸리티 라이브러리

함수가 의미 있고 타입이 지정되며 안전한 값을 반환하도록 만드세요!

pgTyped - TypeScript에서의 타입 안전한 SQL

Checked C는 프로그래머가 경계 검사 및 향상된 타입 안전성을 갖춘 C 코드를 작성할 수 있도록 지원하는 C 언어 확장입니다. 기존 C 코드를 쉽게 타입 안전하게 만들고 전체 오류 범주를 제거하는 것을 목표로 합니다.

Coalton은 Common Lisp을 강화하는 효율적이고 정적으로 타입이 지정되는 함수형 프로그래밍 언어입니다.

컴파일 시점에 버그를 방지하기 위한 제로 오버헤드 유틸리티

🏷 더 안전하고 표현력 있는 코드를 위한 래퍼 타입

타입 안전한 스키마와 규칙을 지원하는 검증 라이브러리

🎁 컬렉션이 값을 포함하고 있음을 컴파일 타임에 보장합니다.

현실의 소프트웨어 엔지니어가 검증 가능한 올바른 베어메탈 코드를 작성할 수 있도록 고안된 의존 타입 증명 언어

지원 중단됨

대수적 데이터 타입을 사용한 데이터 교환

Jetpack Compose를 위한 타입 안전 내비게이션 라이브러리

Cone 프로그래밍 언어

Cadence: Flow 네트워크의 리소스 지향 스마트 계약 프로그래밍 언어. 역량 기반 보안, 타입 안전성, 이동 의미론을 제공합니다.

Checked C를 지원하기 위해 수정된 clang 버전 저장소. Checked C는 컴파일러가 타입 안전성을 보장하는 C 언어 확장입니다.

React Router를 위한 풀스택 폼

구조체를 정의하여 명령행 인자 파싱