P
Distributed system designer
A programming language and analysis toolset for designing and verifying complex distributed systems.
The P programming language.
3k stars
106 watching
179 forks
Language: C#
last commit: 2 months 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,426 |
 jepsen-io/jepsen | A framework for testing distributed systems with fault injection to ensure correctness and reliability. | 6,886 |
 davidfowl/aspnetcorediagnosticscenarios | A collection of examples and guides to help developers avoid common pitfalls when building scalable ASP.NET Core applications | 8,127 |
 microsoft/phi-3cookbook | A resource providing hands-on examples and guides for using Microsoft's Phi-3 models in various software development contexts. | 2,582 |
 withfig/autocomplete | A tool that provides contextually relevant suggestions for command-line interface subcommands and arguments. | 24,629 |
 pulumi/examples | Demonstrates building and deploying cloud applications and infrastructure across multiple clouds and programming languages using Pulumi. | 2,414 |
 google/oss-fuzz | An automated testing framework that uses random data to find errors in software | 10,671 |
 abhivaikar/howtheytest | A collection of resources and best practices on software testing and quality culture | 6,074 |
 thealgorithms/c | A collection of algorithms implemented in C for educational purposes | 19,440 |
 facebook/pyre-check | Type-checking software for Python code | 6,885 |
 openai/baselines | High-quality implementations of reinforcement learning algorithms for research and development purposes | 15,885 |
 pinpoint-apm/pinpoint | An Application Performance Management tool for large-scale distributed systems | 13,442 |
 opennhp/opennhp | A Zero Trust protocol that leverages resource-hiding and encryption to safeguard servers and data from attackers | 13,520 |
 root-project/root | A software package for analyzing and visualizing large scientific data sets | 2,743 |