Quint: A specification language based on the temporal logic of actions (TLA) (github.com) | HN Screenshots

YHacker Newsscreenshots

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

First screen, captured 2 years ago.

Looks similar

Screenshot of github.com: Show HN: Qq: like jq, but can transcode between many formats

Show HN: Qq: like jq, but can transcode between many formats (github.com)

61 points by arandomhuman 2 years ago | 13 comments

Screenshot of github.com: gRPC request context which caries values across microservice boundaries

gRPC request context which caries values across microservice boundaries (github.com)

60 points by reidbuzby 3 years ago | 39 comments

Screenshot of github.com: Ethersync: Peer-to-peer collaborative editing of local text files

Ethersync: Peer-to-peer collaborative editing of local text files (github.com)

163 points by blinry 1 year ago | 31 comments

Screenshot of github.com: QMD - Quick Markdown Search

QMD - Quick Markdown Search (github.com)

17 points by saikatsg 9 months ago | 6 comments

Screenshot of github.com: Show HN: Anos – a hand-written ~100KiB microkernel for x86-64 and RISC-V

Show HN: Anos – a hand-written ~100KiB microkernel for x86-64 and RISC-V (github.com)

94 points by noone_youknow 6 months ago | 25 comments

Screenshot of github.com: Show HN: Comgra: A library for debugging and understanding neural networks

Show HN: Comgra: A library for debugging and understanding neural networks (github.com)

50 points by floriandietz 3 years ago | 4 comments