p-org/P

The P programming language.

asynchronousdistributed-systemsevent-drivenformal-methodsformal-verificationmodel-checkingpprogramming-languagestate-machinesystematic-testing

Licencia y mantenimiento

MIT es una licencia permisiva: uso comercial libre con atribución.

Último cambio de código hace 46 días.

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	bastion-rs/bastionHighly-available Distributed Fault-tolerant Runtime	★ 2.9k	Rust	Apache-2.0	Sin cambios
2	quint-co/quintAn executable specification language with delightful tooling based on the temporal logic of actions (TLA)	★ 1.8k	TypeScript	Apache-2.0	Activo
3	golang/goThe Go programming language	★ 139.3k	Go	BSD-3-Clause	Activo
4	argotorg/soliditySolidity, the Smart Contract Programming Language	★ 25.8k	C++	GPL-3.0	Activo
5	ruby/rubyThe Ruby Programming Language	★ 23.8k	Ruby	Other	Activo
6	bendlang/bendBend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh \| sh	★ 23.8k	TypeScript	Apache-2.0	Activo
7	AlDanial/cloccloc counts blank lines, comment lines, and physical lines of source code in many programming languages.	★ 23.6k	Perl	GPL-2.0	Activo
8	wenyan-lang/wenyan文言文編程語言 A programming language for the ancient Chinese.	★ 20.3k	TypeScript	MIT	Sin cambios