Hacker GitHub

← All repos

p-org/P

View on GitHub ↗ ★ 3,725 C#

The P programming language.

30 mentions on Hacker News by 28 people: 8 stories, 22 comments · first 2016-10-09 · latest 2026-05-09

Mentions per year 30 mentions · busiest year 2020 (6)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 37
    P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
    story by Davidbrcz · 2025-12-17 · 5 comments
  2. ▲ 2
    Formal Modeling and Analysis of Distributed (Event-Driven) Systems
    story by ot · 2025-06-01 · 1 comment
  3. ▲ 17
    The P Programming Language: Formal modeling and analysis of distributed systems
    story by wslh · 2024-11-09 · 2 comments
  4. ▲ 5
    P: A language for asynchronous event-driven programming and model checking
    story by fanf2 · 2020-10-28 · 0 comments
  5. ▲ 2
    P Programming Language: Async, event-driven programming using state machines
    story by capableweb · 2019-12-28 · 0 comments
  6. ▲ 3
    The P Programming Language
    story by damian2000 · 2019-09-30 · 1 comment
  7. ▲ 1
    Ask HN: What are the best ways to reason about async protocols?
    story by canadaduane · 2019-05-11 · 0 comments
  8. ▲ 220
    The P programming language
    story by msoad · 2016-10-09 · 87 comments