Long-time core developer of the Scala 3 compiler. Member of the Scala Improvement Process committee.
splitview. Visual comparison of videos in the browser
24libav. clone of git://git.libav.org/libav
10dotty-bridge. This repository is obsolete
10aom. Personal fork of https://aomedia.googlesource.com/aom/
9emacs-lsp-dotty. Emacs mode for IDE features when using Dotty
7dotty-tutorial. A tutorial on trying out and contributing to the Dotty compiler for Scala
6torrefactor. A BitTorrent client written in Java
4edi. Prototyping of Edge Directed Interpolation for Daala motion compensation
4hello-sbt. A hello world written in the sbt programming language
3arora. Cross platform web browser
2mill. Your shiny new Java/Scala build tool!
2aomanalyzer. AV1 Bitstream Analyzer
2core. The core of the J programming language
2dotty-cats-example-project. Example sbt project that compiles using Dotty with cats as a dependency
1mediagroup.js. JavaScript
1basket. BasKet Note Pads - an system for organizing information in KDE.
1vscode-dotty-syntax. [TEMPORARY] Dotty Indentation Syntax
1shellinabox. Fork of shellinabox from https://code.google.com/p/shellinabox/
1vimperator-labs. JavaScript
1uncrustify. Code beautifier
1oh-my-zsh. A community-driven framework for managing your zsh configuration.
1intellij-scala. Scala plugin for IntelliJ IDEA
1dotty. Research platform for new language concepts and compiler technologies for Scala.
1DarkBench. Benchmarking Dark Patterns in LLMs (ICLR 2025)
1