Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/smarter below:

smarter (Guillaume Martres) · GitHub

• Pricing

Long-time core developer of the Scala 3 compiler. Member of the Scala Improvement Process committee.

• Arteris / Scala Center

• Lausanne, Switzerland
• 07:01 (UTC +02:00)
• http://guillaume.martres.me

1. The Scala 3 compiler, also known as Dotty.

   Scala 6.1k 1.1k

2. Forked from TiarkRompf/minidot

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

   Coq 3

3. The fastest and safest AV1 encoder.

   Assembly 4k 270

4. Modern video compression for the internet

   C 550 102

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

   C 9 9

6. Visual comparison of videos in the browser

   JavaScript 24 7

You can’t perform that action at this time.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4