Search: github.com/p-org | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: GoScopeAI – AI-powered web scanner with Llama3 vuln analysis (github.com/porgnope)

2 points

6 months ago

2.

Ask HN: What are the best ways to reason about async protocols?

1 point

7 years ago

3.

The P programming language (github.com/p-org)

220 points

10 years ago

4.

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

37 points

6 months ago

5.

The P Programming Language: Formal modeling and analysis of distributed systems (github.com/p-org)

17 points

2 years ago

6.

P: A language for asynchronous event-driven programming and model checking (github.com/p-org)

5 points

6 years ago

7.

The P Programming Language (github.com/p-org)

3 points

7 years ago

8.

Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)

2 points

a year ago

9.

P Programming Language: Async, event-driven programming using state machines (github.com/p-org)

2 points

6 years ago

10.

Porglet is a low cost and small form factor drone detection system (github.com/deptofdefense)

1 point

5 years ago

11.

PSharp: A framework for rapid development of reliable asynchronous software (github.com/p-org)

1 point

6 years ago

12.

P#: Safe asynchronous event-driven .NET programming (github.com/p-org)

1 point

9 years ago