type-safety

Trình quản lý trạng thái tham số tìm kiếm an toàn kiểu cho các framework React - Giống như useState, nhưng được lưu trữ trong chuỗi truy vấn URL.

👷 Thư viện tiện ích kiểu dữ liệu lớn nhất của TypeScript

Làm cho các hàm của bạn trả về kết quả có ý nghĩa, được gõ kiểu và an toàn!

pgTyped - SQL an toàn kiểu dữ liệu trong TypeScript

Checked C là phần mở rộng của C cho phép lập trình viên viết mã C với kiểm tra giới hạn và cải thiện độ an toàn kiểu dữ liệu. Mục tiêu là giúp mọi người dễ dàng chuyển mã C hiện có thành an toàn kiểu dữ liệu và loại bỏ toàn bộ các lớp lỗi.

Coalton là một ngôn ngữ lập trình chức năng kiểu tĩnh hiệu quả, giúp tăng cường sức mạnh cho Common Lisp.

Tiện ích không có chi phí phát sinh để ngăn chặn lỗi tại thời điểm biên dịch

🏷 Một kiểu wrapper giúp mã nguồn an toàn và biểu cảm hơn.

Thư viện xác thực dữ liệu (validation) với schema và quy tắc an toàn kiểu dữ liệu (type-safe).

🎁 Đảm bảo tại thời điểm biên dịch rằng một tập hợp chứa một giá trị.

Một ngôn ngữ chứng minh phụ thuộc (dependently-typed) nhằm giúp các kỹ sư phần mềm có thể tạo ra mã bare metal chính xác.

Đã ngừng hỗ trợ.

Trao đổi dữ liệu với các kiểu dữ liệu đại số.

Thư viện điều hướng an toàn kiểu dữ liệu (type-safe) cho Jetpack Compose

Ngôn ngữ lập trình Cone

Cadence: ngôn ngữ lập trình hợp đồng thông minh hướng tài nguyên của mạng lưới Flow. Hỗ trợ bảo mật dựa trên khả năng, an toàn kiểu dữ liệu và ngữ nghĩa di chuyển (move semantics)

Kho lưu trữ này chứa một phiên bản clang đang được sửa đổi để hỗ trợ Checked C. Checked C là một phần mở rộng của C cho phép lập trình viên viết mã C được trình biên dịch đảm bảo an toàn về kiểu dữ liệu.

Biểu mẫu full-stack cho React Router

Phân tích các đối số dòng lệnh bằng cách định nghĩa một struct.