Popular repositories

1. sv-benchmarks sv-benchmarks Public

   Forked from sosy-lab/sv-benchmarks

   Collection of Verification Tasks

   C

2. ocraft-s2client ocraft-s2client Public

   Forked from ocraft/ocraft-s2client

   StarCraft II Client - Java library supported on Windows, Linux and Mac designed for building scripted bots and research using the SC2API.

   Java

3. glm glm Public

   Forked from kotlin-graphics/glm

   jvm glm

   Kotlin

4. kotlin-unsigned kotlin-unsigned Public

   Forked from kotlin-graphics/kotlin-unsigned

   unsigned support for Kotlin via boxed types and unsigned operators

   Kotlin

5. benchbuild benchbuild Public

   Forked from PolyJIT/benchbuild

   Empirical-Research Toolkit

   Python

6. scarlett-mixer scarlett-mixer Public

   Forked from x42/scarlett-mixer

   Quickly hacked scarlett-mixer GUI for Linux/ALSA

   C