मालिक · PrincetonUniversity

PrincetonUniversity

PrincetonUniversity की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।

2 रिपॉजिटरी

#1
openpiton ↗@PrincetonUniversityAssembly
OpenPiton प्लेटफॉर्म।
★ 818+8पिछले 7 दिनों में स्टार का बदलाव
#2
VST ↗@PrincetonUniversityRocq Prover
सत्यापित सॉफ़्टवेयर टूलचेन (Verified Software Toolchain)
★ 508+1पिछले 7 दिनों में स्टार का बदलाव