dragos

dragos-vscode-scala

compiler-benchmark

Benchmarks for scalac

scala

The Scala programming language

scala-ide

Scala IDE for Eclipse

breeze

Breeze is a numerical processing library for Scala.

cbt

CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala

CodeNarc

CodeNarc source

gatling

Async Scala-Akka-Netty based Load Test Tool

gradle

Adaptable, fast automation for all

grafter

Grafter is a library to configure and wire Scala applications

http4s

A minimal, idiomatic Scala interface for HTTP

incubator-openwhisk

Apache OpenWhisk is a serverless event-based programming service and an Apache Incubator project.

inox

Solver interface for higher-order functional programs

mill

Your shiny new Scala build tool!

mockito

Most popular Mocking framework for unit tests written in Java

reasonable-scala

Experimental Scala compiler focused on compilation speed

sangria

Scala GraphQL implementation

sbt

sbt, the interactive build tool

sbt-release

A release plugin for sbt

scala-debugger

Scala libraries and tooling utilizing the Java Debugger Interface.

scala-maven-plugin

The scala-maven-plugin (previously maven-scala-plugin) is used for compiling/testing/running/documenting scala code in maven.

scala-seed.g8

Giter8 template for a simple hello world app in Scala.

scalafix-maven-plugin

Enables automatic refactoring and linting of Maven projects written in Scala using Scalafix.

scalameta

Library to read, analyze, transform and generate Scala programs

ScalaZ3

Binders and more to the Z3 SMT solver for Scala

shapeless

Generic programming for Scala

specs2

Software Specifications for Scala

stainless

Verification framework for higher-order functional programs

verified-lambda

A verified lambda interpreter

zinc

Scala incremental compiler library, originally part of sbt