Typelevel.scala

Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.

Upcoming Events

For the third year, we are organizing the Typelevel Summits. Join us in the US, Europe or both for our community-based events.

Typelevel Summit Philadelphia

April 1, 2019

One day of recorded talks and one day of unconference, co-located with NE Scala.

Learn More

Typelevel Summit Lausanne

June 14, 2019

One day of talks, co-located with the anniversary Scala Days.

Learn More

Projects

Our projects cover a wide range of domains, from general functional programming to tooling.

Cats

Functional Programming

A library intended to provide abstractions for functional programming in Scala, leveraging its unique features. Design goals are approachability, modularity, documentation and efficiency.

Shapeless is a generic programming library. Starting with implementations of Scrap your boilerplate and higher rank polymorphism in Scala, it quickly grew to provide advanced abstract tools like heterogenous lists and automatic instance derivation for type classes.

spire

Numeric abstractions

Spire is a numeric library for Scala which is intended to be generic, fast, and precise. Using features such as specialization, macros, type classes, and implicits, Spire works hard to defy conventional wisdom around performance and precision trade-offs.

More Projects

About typelevel.scala

These are the core goals we're striving to achieve.

Open Source: Independent, free/libre and open-source software

Functional: Pure, typeful, functional programming in Scala

Shared: A desire to share ideas and code

Resources: Accessible and idiomatic learning resources

Friendly: An inclusive, welcoming and safe environment

Modular: Focused, separate modules designed to work together