typelevel.scala

All

106 repositories

cats-tagless
Public
Library of utilities for tagless final encoded algebras
scala functional-programming tagless
Scala
•
Apache License 2.0
•41•320•12•5•Updated Jan 22, 2025Jan 22, 2025
scalacheck-effect
Public
Effectful property testing built on ScalaCheck
Scala
•
Apache License 2.0
•24•81•6•4•Updated Jan 22, 2025Jan 22, 2025
monoids
Public
Generic Monoids for Scala
Scala
•
MIT License
•13•52•1•1•Updated Jan 22, 2025Jan 22, 2025
log4cats
Public
Logging Tools For Interaction with cats-effect
Scala
•
Apache License 2.0
•75•403•16•7•Updated Jan 22, 2025Jan 22, 2025
keypool
Public
A Keyed Pool Implementation for Scala
Scala
•
MIT License
•15•37•7•5•Updated Jan 22, 2025Jan 22, 2025
discipline-specs2
Public
Specs2 Integration for Discipline
Scala
•
MIT License
•11•9•0•2•Updated Jan 22, 2025Jan 22, 2025
discipline-munit
Public
MUnit binding for Typelevel Discipline
Scala
•16•24•1•0•Updated Jan 22, 2025Jan 22, 2025
discipline
Public
Flexible law checking for Scala
typelevel property-based-testing scala
Scala
•
MIT License
•56•330•5•0•Updated Jan 22, 2025Jan 22, 2025
munit-cats-effect
Public
Integration library for MUnit & cats-effect
Scala
•
Apache License 2.0
•34•150•3•2•Updated Jan 22, 2025Jan 22, 2025
vault
Public
Type-safe, persistent storage for values of arbitrary types
Scala
•
MIT License
•20•83•1•1•Updated Jan 22, 2025Jan 22, 2025
shapeless-3
Public
Generic programming for Scala
Scala
•23•195•7•2•Updated Jan 22, 2025Jan 22, 2025
scalacheck
Public
Property-based testing for Scala
scala scalacheck property-testing
Scala
•
BSD 3-Clause "New" or "Revised" License
•407•1.9k•55•12•Updated Jan 22, 2025Jan 22, 2025
scalac-options
Public
A library for configuring scalac options
Scala
•
Apache License 2.0
•12•41•7•7•Updated Jan 22, 2025Jan 22, 2025
cats
Public
Lightweight, modular, and extensible library for functional programming.
Scala
•
Other
•1.2k•5.3k•211•35•Updated Jan 22, 2025Jan 22, 2025
natchez-http4s
Public
Glorious integration layer for Natchez and Http4s.
Scala
•
MIT License
•18•47•2•3•Updated Jan 22, 2025Jan 22, 2025
natchez
Public
functional tracing for cats
cats scala tracing opentracing honeycomb jaeger cats-effect
Scala
•
MIT License
•78•331•14•7•Updated Jan 22, 2025Jan 22, 2025
cats-collections
Public
Data structures for pure functional programming in Scala
Scala
•
Other
•99•559•14•2•Updated Jan 22, 2025Jan 22, 2025
kittens
Public
Automatic type class derivation for Cats
Scala
•
Apache License 2.0
•66•538•8•1•Updated Jan 22, 2025Jan 22, 2025
discipline-scalatest
Public
ScalaTest binding for Discipline
Scala
•
MIT License
•15•20•1•1•Updated Jan 22, 2025Jan 22, 2025
weaver-test
Public
A test framework that runs everything in parallel.
Scala
•
Other
•8•49•26•18•Updated Jan 22, 2025Jan 22, 2025
typelevel.g8
Public
A typelevel.g8 based on sbt-typelevel
sbt giter8 scala
Scala
•6•14•7•2•Updated Jan 22, 2025Jan 22, 2025
twiddles
Public
Micro-library for building effectful protocols
typelevel fp scala
Scala
•
BSD 3-Clause "New" or "Revised" License
•3•65•1•13•Updated Jan 22, 2025Jan 22, 2025
toolkit
Public
Quickstart your next app with the Typelevel Toolkit!
cats scala toolkit scala-cli
Scala
•
Apache License 2.0
•9•95•8•3•Updated Jan 22, 2025Jan 22, 2025
squants
Public
The Scala API for Quantities, Units of Measure and Dimensional Analysis
Scala
•
Apache License 2.0
•122•924•41•19•Updated Jan 22, 2025Jan 22, 2025
spire
Public
Powerful new number types and numeric abstractions for Scala.
Scala
•
MIT License
•243•1.8k•133•23•Updated Jan 22, 2025Jan 22, 2025
simulacrum-scalafix
Public
Simulacrum as Scalafix rules
Scala
•10•34•6•6•Updated Jan 22, 2025Jan 22, 2025
skunk
Public
A data access library for Scala + Postgres.
cats postgres scala database functional-programming typelevel fs2 scodec cats-effect
Scala
•
MIT License
•163•1.6k•77•20•Updated Jan 22, 2025Jan 22, 2025
scalacheck-xml
Public
Scalacheck instances for scala-xml
Scala
•1•4•0•2•Updated Jan 22, 2025Jan 22, 2025
paiges
Public
an implementation of Wadler's a prettier printer
scala layout pretty-print
Scala
•
Apache License 2.0
•30•188•5•7•Updated Jan 22, 2025Jan 22, 2025
otel4s
Public
An OpenTelemetry library for Scala based on Cats-Effect
metrics typelevel tracing cats-effect opentelemetry cats scala
Scala
•
Apache License 2.0
•39•179•16•9•Updated Jan 22, 2025Jan 22, 2025