P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

First screen, captured 10 months ago.

Looks similar

Screenshot of github.com: Einstein: NewtonOS running on other operating systems

Einstein: NewtonOS running on other operating systems (github.com)

75 points by fanf2 10 months ago | 8 comments

Screenshot of github.com: Git CLI tool for intelligently creating branch names

Git CLI tool for intelligently creating branch names (github.com)

24 points by Terretta 1 year ago | 27 comments

Screenshot of github.com: Austin 3.7 – Python frame stack sampler for CPython

Austin 3.7 – Python frame stack sampler for CPython (github.com)

8 points by p403n1x87 2 years ago | 2 comments

Screenshot of github.com: Show HN: R3forth, a ColorForth-inspired language with a tiny VM

Show HN: R3forth, a ColorForth-inspired language with a tiny VM (github.com)

73 points by phreda4 8 months ago | 14 comments

Screenshot of github.com: Show HN: Seapie – a Python debugger where breakpoints drop into a REPL

Show HN: Seapie – a Python debugger where breakpoints drop into a REPL (github.com)

11 points by markushirsimaki 9 months ago | 7 comments

Screenshot of github.com: psc: The ps utility, with an eBPF twist and container context

psc: The ps utility, with an eBPF twist and container context (github.com)

87 points by tanelpoder 9 months ago | 27 comments