Popular repositories Loading

1. rmahinpei.github.io rmahinpei.github.io Public

   Personal website

2. mixed-precision-minres mixed-precision-minres Public

   A mixed precision implementation of the minimal residual (MINRES) method that supports preconditioner solves and matrix-vector products in varied precisions

   C 1

3. personalized-practice personalized-practice Public

   Leveraging Collaborative Filtering for Personalized Practice in Computer-Based Assessments

   Jupyter Notebook

4. COS568-DistLM-SP25 COS568-DistLM-SP25 Public

   Forked from tzadouri/COS568-DistLM-SP25

   Python

5. COS568-LI-SP25 COS568-LI-SP25 Public

   Forked from boyiwei/COS568-LI-SP25

   Course Project for COS 568.

   C++

6. itp_proof_education itp_proof_education Public

   Using Coq & Lean to prove a collection of proof exercises spanning several proof techniques

   Coq