Popular repositories Loading

1. CS-511 CS-511 Public

   Used to store and turn in assignments for CS 511 at BU.

   Lean

2. CS-511-PSETs CS-511-PSETs Public

   Forked from hrmacbeth/math2001

   Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

   HTML

3. Max-Whitton.github.io Max-Whitton.github.io Public

   HTML

4. Covariance-aware-normalization Covariance-aware-normalization Public

   Forked from showlab/EgoVLP

   Python

5. Contrastive-learning-from--vision-text-cluster-triplets Contrastive-learning-from--vision-text-cluster-triplets Public

   Python

6. CS-599-Final-Project CS-599-Final-Project Public