Popular repositories Loading

1. zikun-li.github.io zikun-li.github.io Public

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   JavaScript

2. cmu-catalyst.github.io cmu-catalyst.github.io Public

   Forked from cmu-catalyst/cmu-catalyst.github.io

   HTML

3. quartz quartz Public

   Forked from quantum-compiler/quartz

   The Quartz Quantum Compiler

   OpenQASM

4. agda-T-canonicity-dist agda-T-canonicity-dist Public

   Forked from kaonn/agda-T-canonicity-dist

   Mini project 3 for 15814 F22

   Agda

5. MambaAdaptLr MambaAdaptLr Public

   Python

6. AdaServe-Artifact-Evaluation AdaServe-Artifact-Evaluation Public

   The artifact evaluation repo for AdaServe.

   Shell