Search: github.com/informalsystems | Heykuki News

HK

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

3 years ago

110 points

2.

Quint LLM Kit for writing and using formal specifications

github.com/informalsystems

4 months ago

11 points

3.

Modelator-py: Utilities for the TLA+ ecoystem

github.com/informalsystems

4 years ago

11 points

4.

Holiday protocols: secret santa with Quint

github.com/informalsystems

3 years ago

8 points

5.

Quint – a new language based on TLA+ with modern syntax and developer tooling

github.com/informalsystems

3 years ago

5 points

6.

Unclog – Build your changelog from a structured collection of independent files

github.com/informalsystems

2 years ago

2 points