Popular repositories Loading

1. wasmer wasmer Public

   Forked from wasmerio/wasmer

   🚀 The leading WebAssembly Runtime supporting WASIX, WASI and Emscripten

   Rust

2. roslyn roslyn Public

   Forked from dotnet/roslyn

   The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

   C#

3. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM

4. runtime runtime Public

   Forked from dotnet/runtime

   .NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

   C#

5. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

6. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell