Popular repositories

1. openpiton openpiton Public

   The OpenPiton Platform

   Assembly 582 209

2. VST VST Public

   Verified Software Toolchain

   Coq 415 88

3. multi_gpu_training multi_gpu_training Public

   Python 198 24

4. prga prga Public

   Open-source FPGA research and prototyping framework.

   SCSS 189 23

5. athena athena Public

   Athena++ radiation GRMHD code and adaptive mesh refinement (AMR) framework

   C++ 182 111

6. athena-public-version athena-public-version Public archive

   (MOVED) Athena++ GRMHD code and adaptive mesh refinement (AMR) framework. Active repository --->

   C++ 162 117