typelevel.scala

Let the Scala compiler work for you.

Pinned Repositories

cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala5.4k 183 1.2k1.2k
cats-effect
The pure asynchronous runtime for Scala
Language:Scala2.2k 79 1.1k561
discipline
Flexible law checking for Scala
Language:Scala335 14 3158
doobie
Functional JDBC layer for Scala.
Language:Scala2.2k 63 585372
fs2
Compositional, streaming I/O library for Scala
Language:Scala2.4k 82 769621
scalacheck
Property-based testing for Scala
Language:Scala2k 54 347403
simulacrum
First class syntax support for type classes in Scala
Language:Scala934 31 7360
skunk
A data access library for Scala + Postgres.
Language:Scala1.6k 26 152165
spire
Powerful new number types and numeric abstractions for Scala.
Language:Scala1.8k 64 405241
squants
The Scala API for Quantities, Units of Measure and Dimensional Analysis
Language:Scala930 17 144123

typelevel.scala's Repositories

typelevel/doobie
Functional JDBC layer for Scala.
Language:Scala2.2k 63 585372
typelevel/skunk
A data access library for Scala + Postgres.
Language:Scala1.6k 26 152165
typelevel/frameless
Expressive types for Spark.
Language:Scala890 25 157138
typelevel/cats-collections
Data structures for pure functional programming in Scala
Language:Scala562 25 82104
typelevel/kittens
Automatic type class derivation for Cats
Language:Scala545 14 7266
typelevel/Laika
Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js
Language:Scala444 8 23351
typelevel/jawn
Jawn is for parsing jay-sawn (JSON)
Language:Scala435 19 6873
typelevel/natchez
functional tracing for cats
Language:Scala337 14 4078
typelevel/cats-mtl
cats transformer type classes.
Language:Scala310 16 6664
typelevel/fs2-grpc
gRPC implementation for FS2/cats-effect
Language:Scala279 11 3962
typelevel/cats-parse
A parsing library for the cats ecosystem
Language:Scala244 12 9351
typelevel/otel4s
An OpenTelemetry library for Scala based on Cats-Effect
Language:Scala201 14 13043
typelevel/shapeless-3
Generic programming for Scala
Language:Scala197 11 1924
typelevel/feral
Feral cats are homeless, feral functions are serverless
Language:Scala194 10 5050
typelevel/paiges
an implementation of Wadler's a prettier printer
Language:Scala188 12 5730
typelevel/sbt-typelevel
Let sbt work for you.
Language:Scala184 13 21651
typelevel/grackle
Grackle: Functional GraphQL for the Typelevel stack
Language:Scala183 17 11629
typelevel/munit-cats-effect
Integration library for MUnit & cats-effect
Language:Scala153 9 2738
typelevel/catbird
Birds and cats together
Language:Scala138 10 2024
typelevel/typelevel-nix
Development tools for Typelevel projects
Language:Nix124 4 1010
typelevel/toolkit
Quickstart your next app with the Typelevel Toolkit!
Language:Scala97 8 149
typelevel/cats-time
Cats Instances for Java Time
Language:Scala91 8 1320
typelevel/weaver-test
A test framework that runs everything in parallel.
Language:Scala75 4 5714
typelevel/twiddles
Micro-library for building effectful protocols
Language:Scala69 4 44
typelevel/natchez-http4s
Glorious integration layer for Natchez and Http4s.
Language:Scala50 7 618
typelevel/simulacrum-scalafix
Simulacrum as Scalafix rules
Language:Scala34 6 1010
typelevel/typelevel-scalafix
Scalafix rules for Typelevel projects
Language:Scala26 6 238
typelevel/discipline-specs2
Specs2 Integration for Discipline
Language:Scala9 7 911
typelevel/log4cats-natchez
log4cats backend that provides a Logger[F] given a Trace[F] from Natchez
Language:Scala1 6 02
typelevel/foundation
governance for the Typelevel Foundation