Sujet · type-safety

type-safety

Dépôts open source suivis étiquetés type-safety, triés par étoiles.

Dépôts

Total d'étoiles

41 815

Étoiles en moyenne

2 201

Part

0,00%

Sujets qui apparaissent souvent aux côtés de type-safety sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés type-safety.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
nuqs ↗@47ngTypeScript
Gestionnaire d'état typé pour les paramètres de recherche dans les frameworks React, similaire à useState mais stocké dans la chaîne de requête de l'URL.
★ 10 795+19Évolution des étoiles sur les 7 derniers jours
#2
ts-toolbelt ↗@millspTypeScript
👷 La plus grande bibliothèque d'utilitaires de types pour TypeScript
★ 7 153+0Évolution des étoiles sur les 7 derniers jours
#3
returns ↗@dry-pythonPython
Faites en sorte que vos fonctions retournent des résultats significatifs, typés et sécurisés.
★ 4 357+0Évolution des étoiles sur les 7 derniers jours
#4
pgtyped ↗@adelszTypeScript
pgTyped - SQL typé en toute sécurité dans TypeScript
★ 3 276+0Évolution des étoiles sur les 7 derniers jours
#5
checkedc ↗@checkedcC
Checked C est une extension du langage C permettant d'ajouter la vérification des bornes et une meilleure sécurité des types, visant à sécuriser le code existant et à éliminer des classes entières d'erreurs.
★ 3 258+1Évolution des étoiles sur les 7 derniers jours
#6
coalton ↗@coalton-langCommon Lisp
Coalton est un langage de programmation fonctionnel efficace et statiquement typé qui enrichit Common Lisp.
★ 1 754+1Évolution des étoiles sur les 7 derniers jours
#7
type_safe ↗@foonathanC++
Utilitaires sans surcoût pour prévenir les bugs lors de la compilation.
★ 1 650+0Évolution des étoiles sur les 7 derniers jours
#8
swift-tagged ↗@pointfreecoSwift
🏷 Un type wrapper pour un code plus sûr et expressif.
★ 1 629+0Évolution des étoiles sur les 7 derniers jours
#9
dry-validation ↗@dry-rbRuby
Bibliothèque de validation avec schémas et règles typés.
★ 1 422+0Évolution des étoiles sur les 7 derniers jours
#10
swift-nonempty ↗@pointfreecoSwift
🎁 Garantie à la compilation qu'une collection contient une valeur.
★ 886+1Évolution des étoiles sur les 7 derniers jours
#11
magmide ↗@magmideRocq Prover
Un langage de preuve à typage dépendant conçu pour permettre aux ingénieurs logiciels de créer du code bare metal prouvé correct.
★ 835+0Évolution des étoiles sur les 7 derniers jours
#12
nexus-plugin-prisma ↗@graphql-nexusTypeScript
Obsolète
★ 817+1Évolution des étoiles sur les 7 derniers jours
#13
typical ↗@stepchowfunRust
Échange de données avec des types de données algébriques.
★ 767+0Évolution des étoiles sur les 7 derniers jours
#14
compose-navigation-reimagined ↗@olshevskiKotlin
🌈 Bibliothèque de navigation type-safe pour Jetpack Compose
★ 569+0Évolution des étoiles sur les 7 derniers jours
#15
cone ↗@jondgoodwinC
Langage de programmation Cone
★ 558+0Évolution des étoiles sur les 7 derniers jours
#16
cadence ↗@onflowGo
Cadence : le langage de programmation de smart contracts orienté ressources pour le réseau Flow. Sécurité basée sur les capacités, typage fort et sémantique de mouvement
★ 548+0Évolution des étoiles sur les 7 derniers jours
#17
checkedc-clang ↗@checkedcC++
Ce dépôt contient une version de clang modifiée pour prendre en charge Checked C. Checked C est une extension du langage C permettant aux développeurs d'écrire du code C dont la sécurité des types est garantie par le compilateur.
★ 516+0Évolution des étoiles sur les 7 derniers jours
#18
remix-forms ↗@seasonedccTypeScript
Formulaires full-stack pour React Router.
★ 514+0Évolution des étoiles sur les 7 derniers jours
#19
structopt ↗@p-ranavC++
Analyser les arguments de ligne de commande en définissant une structure
★ 511+0Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets

Sujets associés

Ascensions récentes