Popular repositories Loading

1. guarded-recursion guarded-recursion Public

   Forked from np/guarded-recursion

   Guarded recursion in Agda

   Agda

2. CMake CMake Public

   Forked from Kitware/CMake

   Mirror of CMake upstream repository

   C

3. swig swig Public

   Forked from swig/swig

   SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.

   C++

4. ClangSharp ClangSharp Public

   Forked from dotnet/ClangSharp

   Clang bindings for .NET written in C#

   C#