Search: github.com/stateright | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Stateright: A model checker for implementing distributed systems (github.com/stateright)

133 points

yagizdegirmenci

5 years ago

2.

FFDB – Easy to Use CLI and Engine to Create NFL Database

2 points

7 years ago

3.

Show HN: Statewright – Visual state machines that make AI agents reliable (github.com/statewright)

126 points

23 days ago

4.

Show HN: git-stagelight – never forget to commit new files again (github.com/hyperfekt)

1 point

7 years ago

5.

TextSecure response to Stagefright Android vulnerability (github.com/WhisperSystems)

86 points

11 years ago

6.

Metaphor – Stagefright with ASLR bypass (github.com/NorthBit)

1 point

10 years ago