Saltar al contenido principal
buildradar
Sign in

p-org/P

@p-org

El lenguaje de programación P.

Estrellas
3673
Bifurcaciones
224
Lenguaje
C#
Licencia
MIT
Último push
hace 2 semanas
C#formal-methodsformal-verificationprogramming-languagemodel-checkingevent-drivenstate-machineasynchronousdistributed-systemssystematic-testingp

Aún no hay intel relacionado

Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.