Pinned Loading

1. scala/scala3 scala/scala3 Public

   The Scala 3 compiler, also known as Dotty.

   Scala 5.9k 1.1k

2. minidot minidot Public

   Forked from TiarkRompf/minidot

   Personal fork with extra rules added to the oopsla16 DOT as part of my thesis.

   Coq 1

3. xiph/rav1e xiph/rav1e Public

   The fastest and safest AV1 encoder.

   Assembly 3.7k 253

4. xiph/daala xiph/daala Public

   Modern video compression for the internet

   C 544 102

5. aom aom Public

   Personal fork of https://aomedia.googlesource.com/aom/

   C 9 8

6. splitview splitview Public

   Visual comparison of videos in the browser

   JavaScript 24 7