smarter

dotty

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

vscode-dotty-syntax

[TEMPORARY] Dotty Indentation Syntax

minidot

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

capture-calculus.lean

carac

chisel

Chisel: A Modern Hardware Design Language

containers

Assorted concrete container types

docs.scala-lang

The Scala Documentation website

emacs-scala-mode

The definitive scala-mode for emacs

firrtl-spec

The specification for the FIRRTL language

improvement-proposals

Scala Improvement Proposals

kind-projector

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

metals

Scala language server with rich IDE features 🚀

rav1e

the fastest and worstest av1 encoder

rust-lsp-document

Convert between Rust and LSP representation of strings.

sbt

sbt, a build tool for Scala

sbt-hello

sbt-jmh

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

scala

The Scala programming language

scala.epfl.ch

Website for Scala@EPFL

scalacheck

Property-based testing for Scala

scalameta

Simple, robust and portable metaprogramming toolkit for Scala

scalatest

A testing tool for Scala and Java developers

scastie

An interactive playground for Scala

specs2

Software Specifications for Scala

spire

Powerful new number types and numeric abstractions for Scala.

squeryl

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

tree-sitter-scala

Scala grammar for tree-sitter

upickle

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

utest

A simple testing framework for Scala