tla-cascading-failure

(★ 9)

Explorations in using TLA+ to model integrations of systems

tla-cascading-failure Latest Version Download

Download Latest Version (.zip)

Today's picks

deer-flow ★ 80,097

An open-source long-horizon SuperAgent harness that researches, codes, and creates. With t

Python
ponytail ★ 104,000

Makes your AI agent think like the laziest senior dev in the room. The best code is the co

JavaScript
SecLists ★ 72,883

SecLists is the security tester's companion. It's a collection of multiple types of lists

PHP
gin ★ 89,076

Gin is a high-performance HTTP web framework written in Go. It provides a Martini-like API

Go
clash-verge-rev ★ 138,197

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailor

TypeScript
awesome-for-beginners ★ 88,433

A list of awesome beginners-friendly projects.
// repository documentation