Typelevel
Open Source, functional, modular and friendly Scala libraries.
Collective -
Host: opensource -
https://opencollective.com/typelevel
- Website: https://typelevel.org
- Code: https://github.com/typelevel
github.com/typelevel/cats
Lightweight, modular, and extensible library for functional programming.
Stars: 5,333 - Last synced: 27 Jul 2025
github.com/typelevel/fs2
Compositional, streaming I/O library for Scala
Stars: 2,406 - Last synced: 26 Jul 2025
github.com/typelevel/doobie
Functional JDBC layer for Scala.
Stars: 2,196 - Last synced: 26 Jul 2025
github.com/typelevel/cats-effect
The pure asynchronous runtime for Scala
Stars: 2,147 - Last synced: 26 Jul 2025
github.com/typelevel/scalacheck
Property-based testing for Scala
Stars: 1,947 - Last synced: 26 Jul 2025
github.com/typelevel/spire
Powerful new number types and numeric abstractions for Scala.
Stars: 1,771 - Last synced: 26 Jul 2025
github.com/typelevel/skunk
A data access library for Scala + Postgres.
Stars: 1,613 - Last synced: 26 Jul 2025
github.com/typelevel/simulacrum
First class syntax support for type classes in Scala
Stars: 934 - Last synced: 30 Jul 2025
github.com/typelevel/squants
The Scala API for Quantities, Units of Measure and Dimensional Analysis
Stars: 929 - Last synced: 30 Jul 2025
github.com/typelevel/kind-projector
Compiler plugin for making type lambdas (type projections) easier to write
Stars: 925 - Last synced: 30 Jul 2025
github.com/typelevel/cats-collections
Data structures for pure functional programming in Scala
Stars: 559 - Last synced: 30 Jul 2025
github.com/typelevel/kittens
Automatic type class derivation for Cats
Stars: 543 - Last synced: 30 Jul 2025
github.com/typelevel/Laika
Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js
Stars: 438 - Last synced: 30 Jul 2025
github.com/typelevel/log4cats
Logging Tools For Interaction with cats-effect
Stars: 410 - Last synced: 26 Jul 2025
github.com/typelevel/sbt-tpolecat
scalac options for the enlightened
Stars: 404 - Last synced: 30 Jul 2025
github.com/typelevel/discipline
Flexible law checking for Scala
Stars: 333 - Last synced: 30 Jul 2025
github.com/typelevel/cats-tagless
Library of utilities for tagless final encoded algebras
Stars: 321 - Last synced: 30 Jul 2025
github.com/typelevel/fs2-grpc
gRPC implementation for FS2/cats-effect
Stars: 278 - Last synced: 26 Jul 2025
github.com/typelevel/cats-parse
A parsing library for the cats ecosystem
Stars: 241 - Last synced: 30 Jul 2025
github.com/typelevel/shapeless-3
Generic programming for Scala
Stars: 197 - Last synced: 30 Jul 2025
github.com/typelevel/otel4s
An OpenTelemetry library for Scala based on Cats-Effect
Stars: 193 - Last synced: 30 Jul 2025
github.com/typelevel/cats-effect-testing
Integration between cats-effect and test frameworks
Stars: 190 - Last synced: 30 Jul 2025
github.com/typelevel/paiges
an implementation of Wadler's a prettier printer
Stars: 188 - Last synced: 26 Jul 2025
github.com/typelevel/feral
Feral cats are homeless, feral functions are serverless
Stars: 187 - Last synced: 30 Jul 2025
github.com/typelevel/grackle
Grackle: Functional GraphQL for the Typelevel stack
Stars: 181 - Last synced: 30 Jul 2025
github.com/typelevel/munit-cats-effect
Integration library for MUnit & cats-effect
Stars: 152 - Last synced: 30 Jul 2025
github.com/typelevel/fs2-chat
Sample project demonstrating use of fs2-io to build a chat client and server
Stars: 134 - Last synced: 30 Jul 2025
github.com/typelevel/fabric
Object-Notation Abstraction for JSON, binary, HOCON, etc.
Stars: 129 - Last synced: 30 Jul 2025
github.com/typelevel/typelevel-nix
Development tools for Typelevel projects
Stars: 121 - Last synced: 30 Jul 2025
github.com/typelevel/spotted-leopards
Proof of concept for a cats-like library built using Dotty features
Stars: 117 - Last synced: 30 Jul 2025
github.com/typelevel/literally
Compile time validation of literal values built from strings
Stars: 112 - Last synced: 30 Jul 2025
github.com/typelevel/toolkit
Quickstart your next app with the Typelevel Toolkit!
Stars: 98 - Last synced: 30 Jul 2025
github.com/typelevel/cats-effect-cps
An incubator project for async/await syntax support for Cats Effect
Stars: 96 - Last synced: 30 Jul 2025
github.com/typelevel/vault
Type-safe, persistent storage for values of arbitrary types
Stars: 83 - Last synced: 30 Jul 2025
github.com/typelevel/scalacheck-effect
Effectful property testing built on ScalaCheck
Stars: 82 - Last synced: 30 Jul 2025
github.com/typelevel/coop
Cooperative multithreading as a pure monad transformer
Stars: 73 - Last synced: 30 Jul 2025
github.com/typelevel/claimant
Library to support automatic labeling of ScalaCheck properties.
Stars: 68 - Last synced: 30 Jul 2025
github.com/typelevel/twiddles
Micro-library for building effectful protocols
Stars: 68 - Last synced: 30 Jul 2025
github.com/typelevel/weaver-test
A test framework that runs everything in parallel.
Stars: 64 - Last synced: 30 Jul 2025
github.com/typelevel/natchez-http4s
Glorious integration layer for Natchez and Http4s.
Stars: 48 - Last synced: 30 Jul 2025
github.com/typelevel/scalac-options
A library for configuring scalac options
Stars: 43 - Last synced: 30 Jul 2025
github.com/typelevel/case-insensitive
A case-insensitive string for Scala
Stars: 40 - Last synced: 30 Jul 2025
github.com/typelevel/typelevel.github.com
Web site of typelevel.scala
Stars: 40 - Last synced: 30 Jul 2025
github.com/typelevel/keypool
A Keyed Pool Implementation for Scala
Stars: 37 - Last synced: 30 Jul 2025
github.com/typelevel/simulacrum-scalafix
Simulacrum as Scalafix rules
Stars: 34 - Last synced: 30 Jul 2025
github.com/typelevel/bobcats
Typelevel's very own CryptoKitties!
Stars: 28 - Last synced: 30 Jul 2025
github.com/typelevel/typelevel-scalafix
Scalafix rules for Typelevel projects
Stars: 26 - Last synced: 30 Jul 2025
github.com/typelevel/discipline-munit
MUnit binding for Typelevel Discipline
Stars: 24 - Last synced: 30 Jul 2025
github.com/typelevel/cats-testkit-scalatest
Cats Testkit for Scalatest
Stars: 21 - Last synced: 30 Jul 2025
github.com/typelevel/discipline-scalatest
ScalaTest binding for Discipline
Stars: 20 - Last synced: 30 Jul 2025
github.com/typelevel/cats-effect-shell
Command line debugging console for Cats Effect
Stars: 19 - Last synced: 30 Jul 2025
github.com/typelevel/jdk-index
A Jabba compatible index of JDK versions
Stars: 18 - Last synced: 30 Jul 2025
github.com/typelevel/typelevel.g8
A typelevel.g8 based on sbt-typelevel
Stars: 15 - Last synced: 30 Jul 2025
github.com/typelevel/cats-uri
URI implementation based on cats-parse with cats instances
Stars: 15 - Last synced: 30 Jul 2025
github.com/typelevel/discipline-specs2
Specs2 Integration for Discipline
Stars: 9 - Last synced: 30 Jul 2025
github.com/typelevel/scalac-compat
Lightweight tools for tackling Scalac version incompatibilities
Stars: 9 - Last synced: 30 Jul 2025
github.com/typelevel/idna4s
Cross-platform Scala implementation of Internationalized Domain Names in Applications
Stars: 7 - Last synced: 30 Jul 2025
github.com/typelevel/fs2-cnxs
Incubator for a high level TCP API
Stars: 7 - Last synced: 30 Jul 2025
github.com/typelevel/steward
Runs Scala Steward for Typelevel projects
Stars: 5 - Last synced: 30 Jul 2025
github.com/typelevel/scalacheck-xml
Scalacheck instances for scala-xml
Stars: 4 - Last synced: 30 Jul 2025
github.com/typelevel/feral.g8
Giter8 template for feral serverless
Stars: 2 - Last synced: 30 Jul 2025
github.com/typelevel/toolkit.g8
A Giter8 template for Typelevel Toolkit!
Stars: 2 - Last synced: 30 Jul 2025
github.com/typelevel/.github
a ✨special ✨ repository for project defaults and organization readme
Stars: 2 - Last synced: 30 Jul 2025
github.com/typelevel/log4cats-natchez
log4cats backend that provides a Logger[F] given a Trace[F] from Natchez
Stars: 1 - Last synced: 30 Jul 2025
github.com/typelevel/await-cirrus
Depend on Cirrus CI from a GitHub Actions workflow
Stars: 1 - Last synced: 30 Jul 2025