Explore Projects

Discover 2 open source projects

Active filters (1):
Search: systematic-testingร—
Clear all

Showing 1-2 of 2 projects

p-org/P

The P programming language, a formal methods-focused language for building distributed, event-driven systems

3.6K
Active
C#
API Frameworks
CLI Tools
#formal-methods#distributed-systems#event-driven

microsoft/coyote

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

1.6K
Archived
C#
Testing
API Frameworks
#testing#concurrency#debugging

Stay in the loop

Get weekly updates on trending AI coding tools and projects.