smarter
Long-time core developer of the Scala 3 compiler. Member of the Scala Improvement Process committee.
Arteris / Scala CenterLausanne, Switzerland
Pinned Repositories
scala3
The Scala 3 compiler, also known as Dotty.
aom
Personal fork of https://aomedia.googlesource.com/aom/
dotty-bridge
This repository is obsolete
emacs-lsp-dotty
Emacs mode for IDE features when using Dotty
libav
clone of git://git.libav.org/libav
minidot
Personal fork with extra rules added to the oopsla16 DOT as part of my thesis.
splitview
Visual comparison of videos in the browser
daala
Modern video compression for the internet
rav1e
The fastest and safest AV1 encoder.
smarter's Repositories
smarter/dotty
Research platform for new language concepts and compiler technologies for Scala.
smarter/minidot
Personal fork with extra rules added to the oopsla16 DOT as part of my thesis.
smarter/capture-calculus.lean
smarter/carac
smarter/chisel
Chisel: A Modern Hardware Design Language
smarter/containers
Assorted concrete container types
smarter/docs.scala-lang
The Scala Documentation website
smarter/duckdb-java
DuckDB JDBC Driver
smarter/emacs-scala-mode
The definitive scala-mode for emacs
smarter/firrtl-spec
The specification for the FIRRTL language
smarter/improvement-proposals
Scala Improvement Proposals
smarter/kind-projector
Compiler plugin for making type lambdas (type projections) easier to write
smarter/lm-evaluation-harness
A framework for few-shot evaluation of language models.
smarter/metals
Scala language server with rich IDE features 🚀
smarter/rav1e
the fastest and worstest av1 encoder
smarter/rust-lsp-document
Convert between Rust and LSP representation of strings.
smarter/sbt
sbt, a build tool for Scala
smarter/sbt-hello
smarter/sbt-jmh
"Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)
smarter/scala
The Scala programming language
smarter/scala.epfl.ch
Website for Scala@EPFL
smarter/scalameta
Simple, robust and portable metaprogramming toolkit for Scala
smarter/scalatest
A testing tool for Scala and Java developers
smarter/scastie
An interactive playground for Scala
smarter/specs2
Software Specifications for Scala
smarter/spire
Powerful new number types and numeric abstractions for Scala.
smarter/squeryl
A Scala DSL for talking with databases with minimum verbosity and maximum type safety
smarter/tree-sitter-scala
Scala grammar for tree-sitter
smarter/tyql
smarter/utest
A simple testing framework for Scala