GitHub

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 🌱 Start Contributing 🧑‍🏫 Virtual Meetups 🤝 Code of Conduct

Find us on...

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

Pinned Loading

  1. Lightweight, modular, and extensible library for functional programming.

    Scala 5.5k 1.2k

  2. Compositional, streaming I/O library for Scala

    Scala 2.4k 636

  3. Property-based testing for Scala

    Scala 2k 394

  4. Powerful new number types and numeric abstractions for Scala.

    Scala 1.8k 239

  5. The pure asynchronous runtime for Scala

    Scala 2.2k 578

  6. Flexible law checking for Scala

    Scala 336 60

Repositories

Showing 10 of 115 repositories

  • jawn Public

    Jawn is for parsing jay-sawn (JSON)

    typelevel/jawn's past year of commit activity

  • Laika Public

    Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

    typelevel/Laika's past year of commit activity

    Scala

    455

    Apache-2.0

    57 12 23

    Updated Aug 16, 2026

  • grackle Public

    Grackle: Functional GraphQL for the Typelevel stack

    typelevel/grackle's past year of commit activity

  • typelevel/munit-cats-effect's past year of commit activity

    Scala

    159

    Apache-2.0

    39 4 5

    Updated Aug 15, 2026

  • typelevel/typelevel.github.com's past year of commit activity

  • cats-time Public

    Cats Instances for Java Time

    typelevel/cats-time's past year of commit activity

    Scala

    94

    MIT

    20 1 3

    Updated Aug 15, 2026

  • typelevel/cats-effect-testing's past year of commit activity

    Scala

    194

    Apache-2.0

    43 8 11

    Updated Aug 15, 2026

  • typelevel/typelevel-nix's past year of commit activity

    Nix

    131

    Apache-2.0

    11 5 4

    Updated Aug 15, 2026

  • typelevel/simulacrum-scalafix's past year of commit activity

    Scala

    36 10 6 7

    Updated Aug 15, 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 2

    Updated Aug 15, 2026

Read the original on github.com ↗