milessabin

eta

The Eta Programming Language, a dialect of Haskell on the JVM

urweb

The Ur/Web programming language

shapeless-guide

The Type Astronaut's Guide to Shapeless

readme-checklist

A checklist for writing READMEs

freestyle

A cohesive & pragmatic framework of FP centric Scala libraries

reftree

Automatically generated diagrams and animations for Scala data structures

fetch

Simple & Efficient data access for Scala and Scala.js

idris-jvm

JVM bytecode back end for Idris

mouse

A small companion to cats

foss-heartbeat

(Unmaintained) FOSS Heartbeat analyses the health of a community of contributors. :heartbeat:

silencer

Scala compiler plugin for warning suppression

grafter

Grafter is a library to configure and wire Scala applications

goggles

Pleasant, yet principled Scala optics DSL

diff

Visually compare Scala data structures with out of the box support for arbitrary case classes.

kentuckymule

Limits of Scala typechecking speed

frankjnr

Another implementation of Frank.

case-classy

configuration with less hassle

LambdaTest

Functional testing for Scala.

shapeless-datatype

Shapeless utilities for common data types

patchless

Patch data type for Scala and shapeless

staged-streams.scala

invertible-syntax

Invertible syntax and partial isomorphisms for Scala

xylophone

Working with XML in Scala

implicit-dependent-type

console-solarized

A Solarized colorscheme for the Linux console

cats-check

Cats instances for ScalaCheck data types

tfm

tagless final macro

scabot

Scala's PR&CI automation bot

type-formatter

Scala compiler plugin to format type errors

sbt-directive

SBT plugin enabling C like directives