p-org/P

Bahasa pemrograman P.

↗ Buka di GitHub

Bintang

3.673

Fork

224

Bahasa

C#

Lisensi

MIT

Push terakhir

2 minggu yang lalu

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

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.