LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

P

The P programming language.

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

10mo ago

Recent commits

Latest commits.

Add Pre Announcement for P 3.0 Release of P Verifier (#896)
b47ba9fFederico Mora Rocha11mo ago
Update java generator code to generate updated imports from maven (#894)
40038c8Mounika Chadalavada11mo ago
Prevent liveness issues due to timers (#881)
9dca1bcBenjamin Hilprecht11mo ago
Add Java equality and hash functions to machines in pobser… (#861)
ee36fb1Lewis Bruck13mo ago
Update build system and Java compiler, remove dependency JARs (#849)
c5c6c72Ankush Desai14mo ago

Dev/remove libhandler (#847)

55a1199Ankush Desai14mo ago

Change p compiler to return a syntax error for lexical errors (#846)

acc5581Lewis Bruck14mo ago

Add toString() to generated Java code for spec machines in pobserve mode (#844)

7af9a21Lewis Bruck14mo ago

Top contributors

Builders behind this project.