Sealbook / Open source / Otros

stateright/stateright

A model checker for implementing distributed systems.

actor-modeldistributed-systemsmodel-checkerpaxos

GitHub ↗Sitio ↗

Licencia y mantenimiento

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

Último cambio de código hace 14 meses.

Proyectos similares

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	nsqio/nsqA realtime distributed messaging platform	★ 25.8k	Go	MIT	Activo
2	temporalio/temporalTemporal service	★ 23.8k	Go	MIT	Activo
3	996icu/996.ICURepo for counting stars and contributing. Press F to pay respect to glorious developers.	★ 277.2k	—	Other	Sin cambios
4	torvalds/linuxLinux kernel source tree	★ 252.4k	C	Other	Activo
5	jackfrued/Python-100-DaysPython - 100天从新手到大师	★ 187.3k	Jupyter Notebook	—	Activo
6	airbnb/javascriptJavaScript Style Guide	★ 148.1k	JavaScript	MIT	Menos activo
7	iptv-org/iptvCollection of publicly available IPTV channels from all over the world	★ 141.3k	TypeScript	Unlicense	Activo
8	ruanyf/weekly科技爱好者周刊，每周五发布	★ 106.4k	—	—	Activo