Stars
Browse starred repositories and topics
Sort: Recently active
Starred Repositories
-
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
-
Community developed and maintained version of the OS/Net consolidation
-
Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.
-
The Z3 Theorem Prover
-
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
-
An Open Source Machine Learning Framework for Everyone
-
dmd D Programming Language compiler
-
Protocol Buffers - Google's data interchange format
-
Cloud-native high-performance edge/middle/service proxy
-
Production-Grade Container Scheduling and Management