Search: github.com/tlaplus | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

TLA+ Graph Explorer (github.com/afonsonf)

103 points

5 years ago

2.

Running TLA+ in browser with jupyter (github.com/kelvich)

5 points

7 years ago

3.

TLA+ 1.6.0 Released (github.com/tlaplus)

3 points

7 years ago

4.

TLAi+ Benchmarks for Evaluating LLMs (github.com/tlaplus)

2 points

3 months ago

5.

TLA+ (github.com/tlaplus)

1 point

7 years ago

6.

Show HN: I Made an AI Skill to Help Write Tlaps Proofs (github.com/younes-io)

1 point

3 months ago

7.

The Kafka Replication Protocol with KIP-966 (github.com/Vanlightly)

37 points

9 months ago

8.

TLA+ spec finds bugs in Apache BookKeeper (github.com/Vanlightly)

2 points

5 years ago

9.

A TLA+ Specification of Peterson's Algorithm (github.com/changlinli)

2 points

7 years ago

10.

Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com/younes-io)

41 points

3 months ago