typelevel.org Open in urlscan Pro
2606:50c0:8001::153  Public Scan

Form analysis
0 forms found in the DOM

Text Content

 * Home
 * Projects
 * Platforms
 * Blog
 * Events
 * About




TYPELEVEL

Typelevel is an ecosystem of projects and a community of people united to foster
an inclusive, welcoming, and safe environment around functional programming in
Scala.

Projects About



ABOUT

Learn more about the organization, including our main goals, code of conduct,
and governance.

About Typelevel


PROJECTS

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


CATS

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

js / jvm / native




SHAPELESS

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.

js / jvm / native




SPIRE

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.

js / jvm / native


See all projects

Are you interested in submitting your projects to the Typelevel Ecosystem?
Contact us


LATEST BLOG POSTS

In addition to org-level announcements, here we show you how to use our
libraries in your code, provide examples, collect learning resources, and
explore implementation details.


TYPELEVEL SUMMER OF CODE 2024

by Arman Bilge on Mar 02, 2024



technical


TYPELEVEL GOVERNANCE UPDATE

by Typelevel on Nov 03, 2023



governance


TYPELEVEL TOOLKIT

by Rishad Sewnarain on Apr 03, 2023



technical

See all posts


   TYPELEVEL

 * Home
 * Projects
 * Platforms
 * Blog
 * Events
 * About


   SCALA

 * Code of Conduct
 * License

 * 
 * 
 * 
 * 
 *