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. zephyr zephyr Public

   Forked from zephyrproject-rtos/zephyr

   Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

   C

3. Principles_of_Programming_Languages Principles_of_Programming_Languages Public

   OCaml

4. JHU-PL-Lab/caprice-lang JHU-PL-Lab/caprice-lang Public

   Semantic type refutation

   OCaml 2