Sujet · type-system

type-system

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

Dépôts

8

Total d'étoiles

62 570

Étoiles en moyenne

7 821

Part

0,00%

Sujets qui apparaissent souvent aux côtés de type-system 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-system.

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

#1
type-challenges ↗@type-challengesTypeScript
Collection de défis de typage TypeScript avec juge en ligne
★ 48 485+31Évolution des étoiles sur les 7 derniers jours
#2
typedb ↗@typedbRust
TypeDB : Conçu pour les systèmes, pas pour les enregistrements.
★ 4 435+10Évolution des étoiles sur les 7 derniers jours
#3
zui ↗@brimdataTypeScript
Zui est une application de bureau puissante pour explorer et travailler avec des données. L'interface officielle du Zed lake.
★ 1 968-1Évolution des étoiles sur les 7 derniers jours
#4
HypeScript ↗@ronamiTypeScript
🐬 Une implémentation simplifiée du système de types de TypeScript écrite dans le système de types de TypeScript
★ 1 965+1Évolution des étoiles sur les 7 derniers jours
#5
typed-japanese ↗@typedgrammarTypeScript
🌸 Apprendre la grammaire japonaise avec TypeScript
★ 1 945+0Évolution des étoiles sur les 7 derniers jours
#6
hash ↗@hashintelTypeScript
Plateforme open source multi-tenant pour l'auto-construction de graphes de connaissances et la simulation.
★ 1 649+4Évolution des étoiles sur les 7 derniers jours
#7
datatype99 ↗@hirrolotC
Types de données algébriques pour C99
★ 1 508+0Évolution des étoiles sur les 7 derniers jours
#8
Gradualizer ↗@josefsErlang
Un système de types progressif pour Erlang
★ 618+0Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets