typechecker
Dépôts open source suivis étiquetés typechecker, triés par étoiles.
Sujets associés
Sujets qui apparaissent souvent aux côtés de typechecker sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés typechecker.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
TypeScript est un sur-ensemble de JavaScript qui compile vers un code JavaScript propre.
★ 110 779+371Évolution des étoiles sur les 7 derniers jours - #2★ 20 617+19Évolution des étoiles sur les 7 derniers jours
- #3★ 6 912+10Évolution des étoiles sur les 7 derniers jours
- #4★ 5 031+2Évolution des étoiles sur les 7 derniers jours
- #5
Un vérificateur de types et compilateur TypeScript correct et efficace avec des fonctionnalités expérimentales
★ 2 734+0Évolution des étoiles sur les 7 derniers jours - #6★ 1 488+0Évolution des étoiles sur les 7 derniers jours
- #7
Chaîne d'outils Vue.js ultra-rapide. Compilateur, Linter, vérificateur de types, formateur, LSP, système d'histoires, extensions d'éditeur. A déjà passé plus de 13 000 suites de tests et inclut des cas réels d'E2E.
★ 886+7Évolution des étoiles sur les 7 derniers jours - #8
Vérifie statiquement un dialecte SQL courant et le traduit vers divers backends RDBMS
★ 679+0Évolution des étoiles sur les 7 derniers jours - #9
🏝 Tests de contrat automatisés via la vérification de types pour les fonctions et mocks Elixir
★ 594+0Évolution des étoiles sur les 7 derniers jours - #10
Vérification de type au runtime pour Python 3.5+ destinée aux tests d'intégration et à la validation de données
★ 552+0Évolution des étoiles sur les 7 derniers jours
