Popular repositories Loading

1. proofgrader proofgrader Public

   Python 4 1

2. SkyThought SkyThought Public

   Forked from NovaSky-AI/SkyThought

   Sky-T1: Train your own O1 preview model within $450

   Python 2 1

3. verifiable-controllers verifiable-controllers Public

   Forked from anvil-verifier/anvil

   This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.

   Rust

4. skypilot skypilot Public

   Forked from skypilot-org/skypilot

   SkyPilot: Run AI and batch jobs on any infra (Kubernetes or 12+ clouds). Get unified execution, cost savings, and high GPU availability via a simple interface.

   Python

5. YCSB-cpp YCSB-cpp Public

   HTML

6. bigcode-evaluation-harness bigcode-evaluation-harness Public

   Forked from bigcode-project/bigcode-evaluation-harness

   A framework for the evaluation of autoregressive code generation language models.

   Python