Popular repositories Loading

1. 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 2 1

2. rmahinpei.github.io rmahinpei.github.io Public

   Personal website

3. COS568-DistLM-SP25 COS568-DistLM-SP25 Public

   Forked from tzadouri/COS568-DistLM-SP25

   Python

4. COS568-LI-SP25 COS568-LI-SP25 Public

   Forked from boyiwei/COS568-LI-SP25

   Course Project for COS 568.

   C++

5. itp_proof_education itp_proof_education Public

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

   Coq

6. cnpe_framework cnpe_framework Public

   CNPE - A framework of (C)hallenges and (N)eeds in (P)roof (E)ducation