Popular repositories Loading

1. DirectX-Graphics-Samples DirectX-Graphics-Samples Public

   Forked from microsoft/DirectX-Graphics-Samples

   This repo contains the DirectX Graphics samples that demonstrate how to build graphics intensive applications on Windows.

   C++

2. dapr dapr Public

   Forked from dapr/dapr

   Dapr is a portable, event-driven, runtime for building distributed applications across cloud and edge.

   Go

3. Software-Architecture-with-Cpp Software-Architecture-with-Cpp Public

   Forked from PacktPublishing/Software-Architecture-with-Cpp

   Software Architecture with C++, published by Packt

   C++

4. tlaplus tlaplus Public

   Forked from tlaplus/tlaplus

   TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

   Java

5. tlapm tlapm Public

   Forked from tlaplus/tlapm

   The TLA Proof Manager

   OCaml

6. tlaplus.Examples tlaplus.Examples Public

   Forked from tlaplus/Examples

   A collection of TLA+ specifications of varying complexities

   TLA