Search: github.com/informalsystems | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Quint: A specification language based on the temporal logic of actions (TLA) (github.com/informalsystems)

110 points

2 years ago

2.

Quint LLM Kit for writing and using formal specifications (github.com/informalsystems)

11 points

4 months ago

3.

Modelator-py: Utilities for the TLA+ ecoystem (github.com/informalsystems)

11 points

4 years ago

4.

Holiday protocols: secret santa with Quint (github.com/informalsystems)

8 points

2 years ago

5.

Quint – a new language based on TLA+ with modern syntax and developer tooling (github.com/informalsystems)

5 points

3 years ago

6.

Unclog – Build your changelog from a structured collection of independent files (github.com/informalsystems)

2 points

2 years ago