Pemilik · PrincetonUniversity

PrincetonUniversity

Repositori open source terpantau milik PrincetonUniversity, diurutkan berdasarkan bintang.

2 repositori

#1
openpiton ↗@PrincetonUniversityAssembly
Platform OpenPiton.
★ 818+8Perubahan bintang dalam 7 hari terakhir
#2
VST ↗@PrincetonUniversityRocq Prover
Rantai Alat Perangkat Lunak Terverifikasi (Verified Software Toolchain)
★ 508+1Perubahan bintang dalam 7 hari terakhir