Pinned Loading

1. scala/scala3 scala/scala3 Public

   The Scala 3 compiler, also known as Dotty.

   Scala 6.3k 1.2k

2. minidot minidot Public

   Forked from TiarkRompf/minidot

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

   Coq 3

3. xiph/rav1e xiph/rav1e Public

   The fastest and safest AV1 encoder.

   Assembly 4.2k 297

4. xiph/daala xiph/daala Public

   Modern video compression for the internet

   C 561 102

5. aom aom Public

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

   C 9 9

6. splitview splitview Public

   Visual comparison of videos in the browser

   JavaScript 24 7