P
Distributed system designer
A programming language and analysis toolset for designing and verifying complex distributed systems.
The P programming language.
3k stars
107 watching
179 forks
Language: C#
last commit: 17 days ago
Linked from 3 awesome lists
asynchronousdistributed-systemsevent-drivenformal-methodsformal-verificationmodel-checkingpprogramming-languageroboticsstate-machinesystematic-testing
quozd/awesome-dotnet
aalhour/awesome-compilers
ara3d/extra-awesome-dotnetRelated projects:
| Repository | Description | Stars |
|---|---|---|
 heathermiller/dist-prog-book | A comprehensive online book on programming models for distributed systems | 3,425 |
 princeton-nlp/swe-agent | A tool that uses AI to automatically fix issues in software repositories | 13,714 |
 jepsen-io/jepsen | A framework for testing distributed systems with fault injection to ensure correctness and reliability. | 6,830 |
 davidfowl/aspnetcorediagnosticscenarios | A collection of examples and guides to help developers avoid common pitfalls when building scalable ASP.NET Core applications | 7,967 |
 microsoft/phi-3cookbook | A comprehensive cookbook providing hands-on examples and guides for using Microsoft's Phi-3 models in various applications and environments. | 2,479 |
 withfig/autocomplete | A tool that provides contextually relevant suggestions for command-line interface subcommands and arguments. | 24,597 |
 pulumi/examples | Demonstrates building and deploying cloud applications and infrastructure across multiple clouds and programming languages using Pulumi. | 2,394 |
 google/oss-fuzz | An automated testing framework that uses random data to find errors in software | 10,548 |
 abhivaikar/howtheytest | A collection of resources and best practices on software testing and quality culture | 6,020 |
 thealgorithms/c | A collection of algorithms implemented in C for educational purposes | 19,308 |
 facebook/pyre-check | Type-checking software for Python code | 6,859 |
 openai/baselines | High-quality implementations of reinforcement learning algorithms for research and development purposes | 15,810 |
 pinpoint-apm/pinpoint | An Application Performance Management tool for large-scale distributed systems | 13,422 |
 opennhp/opennhp | A Zero Trust networking protocol to hide servers and data from attackers by utilizing cryptography at the OSI 5th layer. | 13,513 |
 root-project/root | A software package for analyzing and visualizing large scientific data sets | 2,707 |