Propriétaire · PrincetonUniversity

PrincetonUniversity

Dépôts open source suivis de PrincetonUniversity, triés par étoiles.

2 dépôts

#1
openpiton ↗@PrincetonUniversityAssembly
La plateforme OpenPiton.
★ 818+8Évolution des étoiles sur les 7 derniers jours
#2
VST ↗@PrincetonUniversityRocq Prover
Chaîne d'outils logicielle vérifiée.
★ 508+1Évolution des étoiles sur les 7 derniers jours