Popular repositories Loading

1. cvc5 cvc5 Public

   Forked from cvc5/cvc5

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT 1

2. grpc-dotnet grpc-dotnet Public

   Forked from grpc/grpc-dotnet

   gRPC for .NET

   C#

3. Prism Prism Public

   Forked from InKnowWorks/Prism

   Prism is a framework for building loosely coupled, maintainable, and testable XAML applications in WPF, Windows 10 UWP, and Xamarin Forms.

   C#

4. sendgrid-csharp sendgrid-csharp Public

   Forked from sendgrid/sendgrid-csharp

   The Official Twilio SendGrid Led, Community Driven C#, .NetStandard, .NetCore API Library

   C#

5. gRPCSampleApps gRPCSampleApps Public

   Forked from runceel/gRPCSampleApps

   C#

6. mbmlbook mbmlbook Public

   Forked from dotnet/mbmlbook

   Sample code for the Model-Based Machine Learning book.

   C#