Topik · type-safety

type-safety

Repositori open source terpantau bertanda type-safety, diurutkan berdasarkan bintang.

Repositori

Total bintang

41.815

Rata-rata bintang

2.201

Porsi

0,00%

Topik yang sering muncul berdampingan dengan type-safety di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda type-safety.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
nuqs ↗@47ngTypeScript
Manajer status parameter pencarian yang aman (type-safe) untuk framework React - Seperti useState, tetapi disimpan dalam string kueri URL.
★ 10.795+19Perubahan bintang dalam 7 hari terakhir
#2
ts-toolbelt ↗@millspTypeScript
👷 Pustaka utilitas tipe TypeScript terbesar
★ 7.153+0Perubahan bintang dalam 7 hari terakhir
#3
returns ↗@dry-pythonPython
Buat fungsi Anda mengembalikan sesuatu yang bermakna, bertipe, dan aman!
★ 4.357+0Perubahan bintang dalam 7 hari terakhir
#4
pgtyped ↗@adelszTypeScript
pgTyped - SQL yang aman secara tipe (typesafe) di TypeScript
★ 3.276+0Perubahan bintang dalam 7 hari terakhir
#5
checkedc ↗@checkedcC
Checked C adalah ekstensi untuk C yang memungkinkan pemrogram menulis kode C dengan pemeriksaan batas (bounds checking) dan keamanan tipe yang ditingkatkan. Tujuannya adalah memudahkan pembuatan kode C yang ada menjadi aman secara tipe dan menghilangkan berbagai kelas kesalahan.
★ 3.258+1Perubahan bintang dalam 7 hari terakhir
#6
coalton ↗@coalton-langCommon Lisp
Coalton adalah bahasa pemrograman fungsional berketik statis yang efisien dan mengoptimalkan Common Lisp.
★ 1.754+1Perubahan bintang dalam 7 hari terakhir
#7
type_safe ↗@foonathanC++
Utilitas tanpa beban (zero overhead) untuk mencegah bug pada waktu kompilasi
★ 1.650+0Perubahan bintang dalam 7 hari terakhir
#8
swift-tagged ↗@pointfreecoSwift
🏷 Tipe pembungkus (wrapper) untuk kode yang lebih aman dan ekspresif.
★ 1.629+0Perubahan bintang dalam 7 hari terakhir
#9
dry-validation ↗@dry-rbRuby
Pustaka validasi dengan skema dan aturan yang aman terhadap tipe data
★ 1.422+0Perubahan bintang dalam 7 hari terakhir
#10
swift-nonempty ↗@pointfreecoSwift
Jaminan waktu kompilasi bahwa sebuah koleksi berisi nilai
★ 886+1Perubahan bintang dalam 7 hari terakhir
#11
magmide ↗@magmideRocq Prover
Bahasa pembuktian bertipe-dependen yang dirancang agar insinyur perangkat lunak dapat membuat kode bare metal yang terbukti benar.
★ 835+0Perubahan bintang dalam 7 hari terakhir
#12
nexus-plugin-prisma ↗@graphql-nexusTypeScript
Tidak推奨 (Tidak digunakan lagi)
★ 817+1Perubahan bintang dalam 7 hari terakhir
#13
typical ↗@stepchowfunRust
Pertukaran data dengan tipe data aljabar.
★ 767+0Perubahan bintang dalam 7 hari terakhir
#14
compose-navigation-reimagined ↗@olshevskiKotlin
🌈 Pustaka navigasi yang aman secara tipe untuk Jetpack Compose
★ 569+0Perubahan bintang dalam 7 hari terakhir
#15
cone ↗@jondgoodwinC
Bahasa Pemrograman Cone
★ 558+0Perubahan bintang dalam 7 hari terakhir
#16
cadence ↗@onflowGo
Cadence: bahasa pemrograman smart contract berorientasi sumber daya dari jaringan Flow. Keamanan berbasis kapabilitas, keamanan tipe, dan semantik pemindahan
★ 548+0Perubahan bintang dalam 7 hari terakhir
#17
checkedc-clang ↗@checkedcC++
Repositori ini berisi versi clang yang sedang dimodifikasi untuk mendukung Checked C. Checked C adalah ekstensi untuk C yang memungkinkan pemrogram menulis kode C yang dijamin aman secara tipe oleh kompiler.
★ 516+0Perubahan bintang dalam 7 hari terakhir
#18
remix-forms ↗@seasonedccTypeScript
Formulir full-stack untuk React Router
★ 514+0Perubahan bintang dalam 7 hari terakhir
#19
structopt ↗@p-ranavC++
Mengurai argumen baris perintah dengan mendefinisikan sebuah struct
★ 511+0Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik

Topik terkait

Yang sedang naik