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 81 1.1k557
discipline
Flexible law checking for Scala
Language:Scala331 15 3156
doobie
Functional JDBC layer for Scala.
Language:Scala2.2k 65 582372
fs2
Compositional, streaming I/O library for Scala
Language:Scala2.4k 83 766618
scalacheck
Property-based testing for Scala
Language:Scala2k 56 347403
simulacrum
First class syntax support for type classes in Scala
Language:Scala934 32 7360
skunk
A data access library for Scala + Postgres.
Language:Scala1.6k 29 149168
spire
Powerful new number types and numeric abstractions for Scala.
Language:Scala1.8k 64 405242
squants
The Scala API for Quantities, Units of Measure and Dimensional Analysis
Language:Scala931 18 144123

typelevel.scala's Repositories

typelevel/cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala5.4k 183 1.2k1.2k
typelevel/fs2
Compositional, streaming I/O library for Scala
Language:Scala2.4k 83 766618
typelevel/doobie
Functional JDBC layer for Scala.
Language:Scala2.2k 65 582372
typelevel/cats-effect
The pure asynchronous runtime for Scala
Language:Scala2.2k 81 1.1k557
typelevel/skunk
A data access library for Scala + Postgres.
Language:Scala1.6k 29 149168
typelevel/kind-projector
Compiler plugin for making type lambdas (type projections) easier to write
Language:Scala927 27 10075
typelevel/Laika
Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js
Language:Scala441 9 22951
typelevel/log4cats
Logging Tools For Interaction with cats-effect
Language:Scala412 13 7280
typelevel/natchez
functional tracing for cats
Language:Scala335 14 3978
typelevel/fs2-grpc
gRPC implementation for FS2/cats-effect
Language:Scala277 11 3958
typelevel/otel4s
An OpenTelemetry library for Scala based on Cats-Effect
Language:Scala197 16 12542
typelevel/feral
Feral cats are homeless, feral functions are serverless
Language:Scala190 12 5048
typelevel/sbt-typelevel
Let sbt work for you.
Language:Scala181 14 21550
typelevel/grackle
Grackle: Functional GraphQL for the Typelevel stack
Language:Scala180 19 11328
typelevel/munit-cats-effect
Integration library for MUnit & cats-effect
Language:Scala153 12 2438
typelevel/fabric
Object-Notation Abstraction for JSON, binary, HOCON, etc.
Language:Scala126 5 125
typelevel/typelevel-nix
Development tools for Typelevel projects
Language:Nix115 6 1010
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/natchez-http4s
Glorious integration layer for Natchez and Http4s.
Language:Scala48 8 618
typelevel/scalac-options
A library for configuring scalac options
Language:Scala42 11 912
typelevel/case-insensitive
A case-insensitive string for Scala
Language:Scala39 9 1115
typelevel/jawn-fs2
Integration between jawn and fs2
Language:Scala38 13 916
typelevel/keypool
A Keyed Pool Implementation for Scala
Language:Scala36 8 1315
typelevel/ce3.g8
Language:Scala27 11 98
typelevel/typelevel.g8
A typelevel.g8 based on sbt-typelevel
Language:Scala14 10 226
typelevel/discipline-specs2
Specs2 Integration for Discipline
Language:Scala9 7 911
typelevel/otel4s-experimental
Language:Scala5 10 02
typelevel/scalacheck-xml
Scalacheck instances for scala-xml
Language:Scala4 6 11
typelevel/log4cats-natchez
log4cats backend that provides a Logger[F] given a Trace[F] from Natchez
Language:Scala1 6 02