p-org/P

Le langage de programmation P.

↗ Ouvrir sur GitHub

Étoiles

3 673

Bifurcations

224

Langage

C#

Licence

MIT

Dernier push

il y a 3 semaines

C#formal-methods formal-verification programming-language model-checking event-driven state-machine asynchronous distributed-systems systematic-testing p

Aucune intel associée pour le moment

Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.