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/DarkBench
Benchmarking Dark Patterns in LLMs (ICLR 2025)
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/docs.scala-lang
The Scala Documentation website
smarter/duckdb-java
DuckDB JDBC Driver
smarter/emacs-scala-mode
The definitive scala-mode for emacs
smarter/emergent-misalignment
smarter/firrtl-spec
The specification for the FIRRTL language
smarter/improvement-proposals
Scala Improvement Proposals
smarter/jacobian-saes
Jacobian SAEs for sparsifying LLM computation, rather than just representations
smarter/lm-evaluation-harness
A framework for few-shot evaluation of language models.
smarter/metals
Scala language server with rich IDE features 🚀
smarter/open-source-alignment-faking
Open Source Replication of Anthropic's Alignment Faking Paper
smarter/persona_vectors
Persona Vectors: Monitoring and Controlling Character Traits in Language Models
smarter/rust-lsp-document
Convert between Rust and LSP representation of strings.
smarter/SAELens
Training Sparse Autoencoders on Language Models
smarter/sbt
sbt, a build tool for Scala
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/scalatest
A testing tool for Scala and Java developers
smarter/spire
Powerful new number types and numeric abstractions for Scala.
smarter/tracr
smarter/TransformerLens
A library for mechanistic interpretability of GPT-style language models
smarter/tree-sitter-scala
Scala grammar for tree-sitter
smarter/tyql
smarter/utest
A simple testing framework for Scala