Pinned Loading

1. 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

2. minesweep minesweep Public

   Minesweeper toy implementation

   Scala 1

3. subtype-agda subtype-agda Public

   Agda formalization of Pasquale and García-Pérez's MPSS: transitivity elimination, confluence, and type safety modulo Conjecture 8

   Python