What Typelevel does

Typelevel is a community-driven open source ecosystem and nonprofit Foundation that develops Scala-based libraries for functional programming on the JVM, with additional support for Scala.js and Scala Native. The organization builds and curates a portfolio of interdependent libraries, including Cats (type classes and algebraic abstractions), Cats Effect (IO and concurrency primitives), FS2 (compositional streaming), Http4s (functional HTTP), Laika (site and e-book generator), log4cats (referentially transparent logging), Calico (Scala.js web UI), sbt-typelevel (build tooling), and supporting projects such as cats-mtl, kittens, cats-tagless, and cats-collections. These libraries are published under permissive open source licenses (MIT for Cats, Apache 2.0 for the rest) and distributed via Maven Central and GitHub. The ecosystem targets professional Scala developers building scalable web services, serverless applications, CLIs, UIs, systems software, and WebAssembly applications, with production deployments documented in projects such as Lichess.

The Typelevel Foundation, incorporated in California in August 2025 and granted 501(c)(3) tax-exempt status by the IRS in March 2026, provides legal and financial stewardship for the ecosystem. Governance is split between a four-person Board of Directors (Arman Bilge, Daniel Spiewak, Justin du Coeur, Andrew Valencik) overseeing legal and financial matters and a Technical Steering Committee handling project stewardship. The Foundation operates without traditional revenue generation; all libraries are free, and funding comes from corporate sponsorships (Spotify, Shopify, Aruna, Input Objects, Famly, with Platinum tier starting at $950/month), individual donations via GitHub Sponsors and Open Collective, and charitable partnerships with the Swiss Philanthropy Foundation and Maecenata Foundation. Community engagement is conducted through Discord, monthly virtual meetups, a yearly European in-person tour (Berlin, London, Málaga in October 2026), conference presence, and Google Summer of Code mentorship.

Name

Typelevel

Legal name

Typelevel Foundation

Website

https://typelevel.org

Company type

Private

Founded year

2014

Operating status

Operating

Short description

Typelevel is a nonprofit Foundation that curates a community-driven open source ecosystem of Scala-based functional programming libraries (Cats, Cats Effect, FS2, Http4s, Laika), serving professional Scala developers building scalable JVM, Scala.js, and Scala Native applications.

Ownership category

akta.pro rank

GTM type

B2B

Offering type

Software

Cost components

Personnel, Technology or R&D, Operations, Infrastructure, Marketing or Sales, Others

Revenue model

1. Donations and Sponsorships: Typelevel Foundation accepts tax-deductible donations via GitHub Sponsors, Open Collective, Every.org (handling stock and crypto donations). Sponsors include Spotify, Shopify, Aruna, Input Objects, and Famly. Platinum sponsorship starts at $950 USD/month.

Pricing tiers

Go-to-market motion1 record

Distribution channels2 records

Marketing channels6 records

Core offering

Typelevel is a nonprofit foundation that develops, maintains, and stewards open source functional programming libraries for the Scala ecosystem. Its portfolio of libraries (Cats, Cats Effect, FS2, Http4s, Laika, log4cats, Calico, sbt-typelevel, cats-mtl, kittens, cats-tagless, cats-collections, mouse, Protosearch) provides type-safe abstractions, effect systems, streaming primitives, HTTP tooling, and documentation utilities used to build web services, serverless, CLIs, UIs, and systems programming in Scala.

Product overview

Typelevel is an ecosystem of Scala-based open source projects united around functional programming. The core products include Cats (functional programming abstractions with type classes and data types), cats-effect (concurrent I/O abstractions), and Laika (site/e-book generator). The ecosystem spans libraries for streaming (FS2), HTTP services (Http4s), web UIs (Calico), logging (log4cats), build tooling (sbt-typelevel), and type class derivation (kittens, cats-tagless). Additional projects like cats-mtl provide monad transformer libraries and error handling capabilities. The organization maintains over a dozen projects covering domains from web services to documentation generation, all following functional programming principles and published under open source licenses.

Differentiator

Problem solved

Functional benefit

Brands

• Typelevel Foundation: The nonprofit organization that governs and supports the Typelevel ecosystem

Products and services

• Cats

Named customers1 record

Segments2 records

Ideal customer profiles2 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Integration1 record

Feature6 records

Partnerships

Seven partnerships are on record, tiered core and minor.

• ZalandocoreStrategic or Co-development PartnerGerman e-commerce company hosting the Berlin meetup (October 14, 2026) following Scala Days. Provides venue and support for the all-day event including talks, workshop, and unconference.
• London Scala User GroupcoreStrategic or Co-development PartnerCo-organizing the London Open Source Hack meetup (October 24, 2026). Community partnership for collaborative open source work day.
• SiriusXMminorStrategic or Co-development PartnerHosting the London Open Source Hack meetup. Provides venue for the community event.
• IntelliasminorStrategic or Co-development PartnerSoftware engineering company hosting the Málaga meetup (October 28, 2026) preceding Lambda World. Co-organizing with Daniel Hinojosa.
• Swiss Philanthropy FoundationcoreStrategic or Co-development PartnerSwiss charitable foundation partnership enabling tax-efficient donations from Switzerland. Facilitates international charitable giving to Typelevel Foundation.
• Maecenata FoundationcoreStrategic or Co-development PartnerGerman foundation partnership enabling tax-deductible donations from Germany. Designated as TG26017 Typelevel Foundation recipient.
• 47 DegreesminorStrategic or Co-development PartnerScala consulting company that previously built the previous version of the Typelevel website. Provided in-kind development support for the organization.

Scale indicators3 records

Recent moves8 records

Expansion highlights6 records

Direct peers

• ZIO: ZIO is a library for asynchronous and concurrent programming in Scala that competes directly with Typelevel's Cats Effect. Both ecosystems target the same functional programming developers in Scala with effect systems, resource management, and concurrency primitives.
• Scala.js: Scala.js is a Scala-to-JavaScript compiler that compiles Scala code (including Typelevel libraries like Calico and Laika) to JavaScript. It is a closely aligned peer in the broader Scala ecosystem serving the same developer community with complementary tooling.
• 47 Degrees: 47 Degrees is a Scala functional programming consultancy that has directly contributed to the Typelevel ecosystem (including the previous version of the Typelevel website). It operates as a peer in the Scala FP community, offering services and libraries around the same ecosystem Typelevel develops.
• Circe: Circe is a Scala JSON library built on Cats and Typelevel's functional programming primitives, sitting within the same ecosystem. While smaller in scope, it is a direct peer in providing functional Scala libraries that interoperate with Typelevel's core projects.

Emerging players

• Ziverge: Ziverge is a company that supports and develops the ZIO ecosystem of Scala functional programming libraries, providing commercial services similar to how Typelevel's ecosystem of libraries serves Scala FP developers. They operate as a parallel functional programming community within Scala.
• Scala Center: Scala Center is the non-profit foundation that supports the Scala language itself, providing governance, education, and tooling for the broader Scala ecosystem in which Typelevel operates. Both organizations steward open source projects central to Scala developers.

Regional players

• SoftwareMill: SoftwareMill is a Scala and functional programming consultancy based in Poland that builds products and provides services around the Typelevel stack. It serves as both a regional adopter and contributor to the Typelevel ecosystem, with primary geographic focus on Europe.

Broad incumbents

• JetBrains: JetBrains develops Kotlin, a JVM language that competes with Scala as a platform for functional programming on the JVM. While Kotlin targets a broader developer audience, it overlaps with Typelevel's niche of strongly-typed, functional JVM-based application development.
• Lightbend: Lightbend is a commercial company behind the Scala language and the Akka toolkit for building concurrent, distributed applications. It operates broadly in the Scala ecosystem where Typelevel operates, providing commercial support and tooling that overlaps with Typelevel's open source libraries.
• Akka: Akka is a toolkit for building concurrent, distributed, and resilient message-driven applications on the JVM, with strong roots in the Scala ecosystem. It provides overlapping capabilities with Typelevel's functional programming libraries for systems programming and concurrent applications.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat5 records

Key risks6 records

Key highlights7 records

Customer concentration

• GitHubgithub.com/typelevel
• Xx.com/typelevel

Revenue estimate

Valuation estimate

Number of profiles

Profiles7 records

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Typelevel