Sujet · type-theory

type-theory

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

Dépôts

5

Total d'étoiles

13 970

Étoiles en moyenne

2 794

Part

0,00%

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

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

#1
plt ↗@steshawCSS
Théorie des langages de programmation λΠ.
★ 5 362+1Évolution des étoiles sur les 7 derniers jours
#2
Kind ↗@HigherOrderCOHaskell
Un langage de preuve moderne.
★ 3 763-1Évolution des étoiles sur les 7 derniers jours
#3
agda ↗@agdaHaskell
Agda est un langage de programmation à typage dépendant et un assistant de preuve interactif.
★ 2 922+3Évolution des étoiles sur les 7 derniers jours
#4
Coq-HoTT ↗@HoTTRocq Prover
Une bibliothèque Coq pour la théorie des types homotopiques.
★ 1 405+1Évolution des étoiles sur les 7 derniers jours
#5
typescript-sudoku ↗@gruhnTypeScript
Jouer au Sudoku en TypeScript avec le vérificateur de types qui souligne les erreurs.
★ 517-1Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets