Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
@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.5k 1.2k

  2. fs2 fs2 Public

    Compositional, streaming I/O library for Scala

    Scala 2.4k 633

  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 576

  6. discipline discipline Public

    Flexible law checking for Scala

    Scala 336 60

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 115 repositories

Sponsors

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

Top languages

Loading…

Most used topics

Loading…

Morty Proxy This is a proxified and sanitized view of the page, visit original site.