Hannah Leung PalindromeLeung

• San Mateo, CA

Popular repositories Loading

2. This is the repo for formalizing combing 2nd class capability into simply-typed lambda calculus.

   Coq 2

4. code for the exercises

   C++

5. Forked from opencv/opencv

   Open Source Computer Vision Library

   C++

6. Forked from mlpack/mlpack

   mlpack: a scalable C++ machine learning library

   C++