Propietario · PrincetonUniversity

PrincetonUniversity

Repositorios de código abierto monitorizados de PrincetonUniversity, ordenados por estrellas.

2 repositorios

#1
openpiton ↗@PrincetonUniversityAssembly
La plataforma OpenPiton.
★ 818+8Variación de estrellas de los últimos 7 días
#2
VST ↗@PrincetonUniversityRocq Prover
Cadena de herramientas de software verificado
★ 508+1Variación de estrellas de los últimos 7 días