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 have organized successful Typelevel Summits in Europe and North America. There are currently no upcoming events planned, but please check back here for future announcements about our community-based events.

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

Generic Programming

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