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

   Compiler for the Calculus of Inductive Constructions

   Rust 4 1

3. lamb lamb Public

   An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html

   Rust 5

4. lshforest lshforest Public

   An implementation of LSH Forrest based off of the following paper (http://infolab.stanford.edu/~bawa/Pub/similarity.pdf).

   Go 8 1

5. flix flix Public

   Forked from flix/flix

   The Flix Programming Language

   Scala

6. swift swift Public

   Forked from swiftlang/swift

   The Swift Programming Language

   C