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

HK

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

7 months ago

2 points

2.

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

7 years ago

1 points

3.

The P programming language

github.com/p-org

10 years ago

220 points

4.

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

github.com/p-org

6 months ago

37 points

5.

The P Programming Language: Formal modeling and analysis of distributed systems

github.com/p-org

2 years ago

17 points

6.

P: A language for asynchronous event-driven programming and model checking

github.com/p-org

6 years ago

5 points

7.

The P Programming Language

github.com/p-org

7 years ago

3 points

8.

Formal Modeling and Analysis of Distributed (Event-Driven) Systems

github.com/p-org

a year ago

2 points

9.

P Programming Language: Async, event-driven programming using state machines

github.com/p-org

6 years ago

2 points

10.

Porglet is a low cost and small form factor drone detection system

github.com/deptofdefense

5 years ago

1 points

11.

PSharp: A framework for rapid development of reliable asynchronous software

github.com/p-org

6 years ago

1 points

12.

P#: Safe asynchronous event-driven .NET programming

github.com/p-org

9 years ago

1 points