typelevel.scala

Let the Scala compiler work for you.

Pinned Repositories

cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala5.3k 185 1.2k1.2k
cats-effect
The pure asynchronous runtime for Scala
Language:Scala2.1k 78 1k540
discipline
Flexible law checking for Scala
Language:Scala332 15 3156
doobie
Functional JDBC layer for Scala.
Language:Scala2.2k 67 570366
fs2
Compositional, streaming I/O library for Scala
Language:Scala2.4k 83 757613
scalacheck
Property-based testing for Scala
Language:Scala1.9k 56 346406
simulacrum
First class syntax support for type classes in Scala
Language:Scala935 32 7361
skunk
A data access library for Scala + Postgres.
Language:Scala1.6k 29 148166
spire
Powerful new number types and numeric abstractions for Scala.
Language:Scala1.8k 65 405243
squants
The Scala API for Quantities, Units of Measure and Dimensional Analysis
Language:Scala927 18 143122

typelevel.scala's Repositories

typelevel/cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala5.3k 185 1.2k1.2k
typelevel/doobie
Functional JDBC layer for Scala.
Language:Scala2.2k 67 570366
typelevel/cats-effect
The pure asynchronous runtime for Scala
Language:Scala2.1k 78 1k540
typelevel/skunk
A data access library for Scala + Postgres.
Language:Scala1.6k 29 148166
typelevel/cats-collections
Data structures for pure functional programming in Scala
Language:Scala560 25 8299
typelevel/Laika
Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js
Language:Scala431 9 22950
typelevel/log4cats
Logging Tools For Interaction with cats-effect
Language:Scala406 14 7178
typelevel/sbt-tpolecat
scalac options for the enlightened
Language:Scala396 14 5855
typelevel/mouse
A small companion to cats
Language:Scala374 12 3467
typelevel/natchez
functional tracing for cats
Language:Scala331 14 3978
typelevel/cats-tagless
Library of utilities for tagless final encoded algebras
Language:Scala319 18 4741
typelevel/cats-mtl
cats transformer type classes.
Language:Scala309 19 6164
typelevel/fs2-grpc
gRPC implementation for FS2/cats-effect
Language:Scala276 12 3858
typelevel/shapeless-3
Generic programming for Scala
Language:Scala195 14 1924
typelevel/cats-effect-testing
Integration between cats-effect and test frameworks
Language:Scala189 15 2542
typelevel/paiges
an implementation of Wadler's a prettier printer
Language:Scala188 12 5730
typelevel/otel4s
An OpenTelemetry library for Scala based on Cats-Effect
Language:Scala182 18 10940
typelevel/grackle
Grackle: Functional GraphQL for the Typelevel stack
Language:Scala180 19 11328
typelevel/sbt-typelevel
Let sbt work for you.
Language:Scala176 14 20950
typelevel/munit-cats-effect
Integration library for MUnit & cats-effect
Language:Scala152 12 2436
typelevel/literally
Compile time validation of literal values built from strings
Language:Scala112 5 16
typelevel/toolkit
Quickstart your next app with the Typelevel Toolkit!
Language:Scala97 9 149
typelevel/vault
Type-safe, persistent storage for values of arbitrary types
Language:Scala83 6 1020
typelevel/coop
Cooperative multithreading as a pure monad transformer
Language:Scala73 5 39
typelevel/twiddles
Micro-library for building effectful protocols
Language:Scala68 5 43
typelevel/monoids
Generic Monoids for Scala
Language:Scala52 7 813
typelevel/natchez-http4s
Glorious integration layer for Natchez and Http4s.
Language:Scala48 9 518
typelevel/scalac-options
A library for configuring scalac options
Language:Scala42 11 912
typelevel/typelevel.g8
A typelevel.g8 based on sbt-typelevel
Language:Scala14 10 226
typelevel/discipline-specs2
Specs2 Integration for Discipline
Language:Scala9 8 911