Popular repositories Loading

1. DISCO DISCO Public

   DISCO: Dependent-type Inspection for String Correctness On-the-fly

   C++ 1

2. Billy-Hatcher-Modding Billy-Hatcher-Modding Public

   Resources and Tutorials for Modding Billy Hatcher and the Giant Egg (2003, GCN)

   HTML 1 2

3. billy-bot billy-bot Public

   Forked from travisbaylor/billy-bot

   Quality of life bot for the Billy Hatcher speedrunning Discord.

   Python

4. extrae extrae Public

   Forked from bsc-performance-tools/extrae

   Instrumentation framework to generate execution traces of the most used parallel runtimes.

   C

5. OSS OSS Public archive

   An Open Source Code Comment Spellchecker

   Java

6. coderrect-test coderrect-test Public

   A repo to demo how to use coderrect to detect concurrency bugs

   C++