Proprietário · PrincetonUniversity

PrincetonUniversity

Repositórios de código aberto acompanhados de PrincetonUniversity, ordenados por estrelas.

2 repositórios

#1
openpiton ↗@PrincetonUniversityAssembly
A Plataforma OpenPiton.
★ 818+0Variação de estrelas nos últimos 7 dias
#2
VST ↗@PrincetonUniversityRocq Prover
Cadeia de Ferramentas de Software Verificada
★ 508+1Variação de estrelas nos últimos 7 dias