Skip to content
@typelevel

Typelevel

We do functional programming together!

Welcome to Typelevel!

We are an ecosystem of Scala-based projects and a community of people united to foster an inclusive, welcoming, and safe environment around functional programming. We work together to develop projects that apply functional programming to challenging problems relevant in industry. Our community culture embraces curiosity and mentoring and we don't shy away from experimenting with new and exciting ideas. Most of all, we love to make programming joyful and social.

Get involved!

🐣 Learn 🌱 Good First Issues 🧑‍🏫 Virtual Meetups 🤝 Code of Conduct

Find us on...

🌐 typelevel.org 💬 Discord 🦋 Bluesky 🐘 Mastodon 📺 YouTube 👔 LinkedIn 🩷 GitHub Sponsors

Pinned Loading

  1. cats cats Public

    Lightweight, modular, and extensible library for functional programming.

    Scala 5.4k 1.2k

  2. fs2 fs2 Public

    Compositional, streaming I/O library for Scala

    Scala 2.4k 631

  3. scalacheck scalacheck Public

    Property-based testing for Scala

    Scala 2k 395

  4. spire spire Public

    Powerful new number types and numeric abstractions for Scala.

    Scala 1.8k 238

  5. cats-effect cats-effect Public

    The pure asynchronous runtime for Scala

    Scala 2.2k 571

  6. discipline discipline Public

    Flexible law checking for Scala

    Scala 336 59

Repositories

Showing 10 of 113 repositories
  • twiddles Public

    Micro-library for building effectful protocols

    typelevel/twiddles’s past year of commit activity
    Scala 69 BSD-3-Clause 4 1 2 Updated Apr 14, 2026
  • toolkit Public

    Quickstart your next app with the Typelevel Toolkit!

    typelevel/toolkit’s past year of commit activity
    Scala 98 Apache-2.0 9 8 (1 issue needs help) 12 Updated Apr 14, 2026
  • skunk Public

    A data access library for Scala + Postgres.

    typelevel/skunk’s past year of commit activity
    Scala 1,640 MIT 167 78 (2 issues need help) 9 Updated Apr 14, 2026
  • monoids Public

    Generic Monoids for Scala

    typelevel/monoids’s past year of commit activity
    Scala 52 MIT 13 1 5 Updated Apr 14, 2026
  • literally Public

    Compile time validation of literal values built from strings

    typelevel/literally’s past year of commit activity
    Scala 113 Apache-2.0 6 1 0 Updated Apr 14, 2026
  • fs2-kafka Public

    Functional Kafka Streams for Scala

    typelevel/fs2-kafka’s past year of commit activity
    Scala 309 Apache-2.0 108 0 0 Updated Apr 14, 2026
  • .github Public

    a ✨special ✨ repository for project defaults and organization readme

    typelevel/.github’s past year of commit activity
    1 4 0 0 Updated Apr 14, 2026
  • cats-effect Public

    The pure asynchronous runtime for Scala

    typelevel/cats-effect’s past year of commit activity
    Scala 2,228 Apache-2.0 571 196 (7 issues need help) 23 Updated Apr 14, 2026
  • fabric Public

    Object-Notation Abstraction for JSON, binary, HOCON, etc.

    typelevel/fabric’s past year of commit activity
    Scala 132 MIT 5 0 2 Updated Apr 13, 2026
  • fs2 Public

    Compositional, streaming I/O library for Scala

    typelevel/fs2’s past year of commit activity
    Scala 2,443 631 104 (7 issues need help) 40 Updated Apr 13, 2026

Sponsors

  • @vladimir-popov
  • @rtyley
  • @yoshinorin
  • @a-nigredo
  • @DavidGregory084
  • @lhns
  • @BalmungSan
  • @b-vennes
  • @lorandszakacs
  • @andrew-selvia
  • Private Sponsor

Top languages

Loading…

Most used topics

Loading…