Pinned Loading

1. upenn-cis1xx/camelot upenn-cis1xx/camelot Public

   A fully-modular OCaml style linter

   OCaml 45 6

2. .emacs.d .emacs.d Public

   init.el

   Emacs Lisp 2

3. vellvm/vellvm vellvm/vellvm Public

   The Vellvm (Verified LLVM) coq development.

   LLVM 443 39

4. luau-lang/luau luau-lang/luau Public

   A fast, small, safe, gradually typed embeddable scripting language derived from Lua

   C++ 5k 484