Guillaume Martres

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

the fastest and worstest av1 encoder

Modern video compression

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

Visual comparison of videos in the browser

clone of git://git.libav.org/libav

This repository is obsolete

Emacs mode for IDE features when using Dotty

A tutorial on trying out and contributing to the Dotty compiler for Scala

A BitTorrent client written in Java

Prototyping of Edge Directed Interpolation for Daala motion compensation

A hello world written in the sbt programming language

AV1 Bitstream Analyzer

Your shiny new Java/Scala build tool!

Cross platform web browser

The core of the J programming language

Benchmarking Dark Patterns in LLMs (ICLR 2025)

Research platform for new language concepts and compiler technologies for Scala.

[TEMPORARY] Dotty Indentation Syntax

A community-driven framework for managing your zsh configuration.

Scala plugin for IntelliJ IDEA

Example sbt project that compiles using Dotty with cats as a dependency

Code beautifier

BasKet Note Pads - an system for organizing information in KDE.

No description.

Fork of shellinabox from https://code.google.com/p/shellinabox/

No description.

No description.

No description.

Post-training with Tinker

Open Source API and interchange format for editorial timeline information.

Training Sparse Autoencoders on Language Models

Official repo for the paper "Weight-based Decomposition: A Case for Bilinear MLPs"

ClearML - Auto-Magical CI/CD to streamline your AI workload. Experiment Management, Data Management, Pipeline, Orchestration, Scheduling & Serving in one MLOps/LLMOps solution

Mapping out the "memory" of neural nets with data attribution

Persona Vectors: Monitoring and Controlling Character Traits in Language Models

A library for mechanistic interpretability of GPT-style language models

No description.

Open Source Replication of Anthropic's Alignment Faking Paper

No description.

Jacobian SAEs for sparsifying LLM computation, rather than just representations

A framework for few-shot evaluation of language models.

DuckDB JDBC Driver

No description.

Sbt plugin to add JDI tools.jar to sbt classpath.

Scala Improvement Proposals

No description.

The specification for the FIRRTL language

Chisel: A Modern Hardware Design Language

Powerful new number types and numeric abstractions for Scala.

Convert between Rust and LSP representation of strings.

No description.

The definitive scala-mode for emacs

Scala grammar for tree-sitter

"Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)

The Scala Documentation website

ENSIME Documentation

ENhanced Scala Interaction Mode for text Editors (especially Emacs) Server Component

Scala language server with rich IDE features 🚀

A simple testing framework for Scala

Assorted concrete container types

Compiler plugin for making type lambdas (type projections) easier to write

A Scala DSL for talking with databases with minimum verbosity and maximum type safety

uPickle: a simple, fast, dependency-free JSON & Binary (MessagePack) serialization library for Scala

Scala Scripting

No description.

No description.

An example sbt project that compiles using Dotty

Convenient JavaScript image class for image-processing educational exercises. Ideal for use in Jupyter Notebooks with SoS.

Public documentation for Visual Studio Code

The purely functional runtime system for Scala

Compositional, streaming I/O library for Scala

:robot: A robot that helps you keeping your Scala projects up-to-date

scalajs + webgl2

Apache Spark - A unified analytics engine for large-scale data processing

Dotty client library for Sight APIs

Scala.js, the Scala to JavaScript compiler

Scala extensions for the Kryo serialization library

Property-based testing for Scala

I know this because build.sbt knows this.

No description.

Verified message-passing programs in Dotty

Lightweight, modular, and extensible library for functional programming.

Software Specifications for Scala

ZIO — A type-safe, composable library for asynchronous and concurrent programming in Scala

No description.

React component for scrolling, zooming and highlighting code samples <🏄/>

The standard Scala XML library

A testing tool for Scala and Java developers

artoolkitX camera calibration macOS, Linux, and iOS app.

artoolkitX

Principled Functional Programming in Scala

No description.

Test drive Frank The Unicorn

reproduction for https://github.com/sbt/zinc/issues/598

Dotty Community Build

Library for describing binary formats for Scala types

Wonderful reusable code from Twitter

util modules for sbt

Scala 2.13 Collection Compatibility Library

Enable partial unification support (SI-2712 fix) for scala 2.10/2.11/2.12/2.13

Scala Open Source Sprees: join us and learn how to contribute to open source!

No description.

The Scala Website

Experimental Scala compiler focused on compilation speed

Verified Software Toolchain

are you or are you not a tty?

Seamless interop layer between cats and scalaz

The debug server implementation for Java. It conforms to the debug protocol of Visual Studio Code.

No description.

Reproduction of https://github.com/npm/npm/issues/17858

Plugin adding Language Server Protocol support for IntelliJ

benchmark compilation of Dotty

Demonstrate bug with Def.derive

Packaging for SBT so you can run it natively.

An interactive playground for Scala

Experimenting with Scala Collections designs for Scala 2.13

Verification framework for higher-order functional programs

librarymanagement module for sbt

No description.

Emacs client for the Language Server Protocol

A plugin to build your application using dotty with sbt support Edit Add topics

Pure Scala Artifact Fetching

IO module for sbt

Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js

No description.

Limits of Scala typechecking speed

Firefox add-on for arranging tabs vertically

Defines a common protocol for language servers.

No description.

incrementalcompiler module for sbt

Website for Scala@EPFL

Scala's PR&CI automation bot

The HTML Presentation Framework

A Chef cookbook that manages Scala's CI infrastructure.

No description.

Mirror only. Please do not send pull requests.

Thor Video Codec

sbt, a build tool for Scala

Simple, robust and portable metaprogramming toolkit for Scala

An example of using scala.meta APIs

website

Purely Functional Rendering Engine

formalization of the Dependent Object Types (DOT) calculus

Sane interface to moodle

The Scala programming language

Toolbox for Python scripts.

Unpacking reader monad transformers in Haskell

Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"

The source code and content of Open.GL.

GNU Emacs modes for various Git-related files

Simple CRUD for Yesod