typelevel

There are 8 repositories under typelevel topic.

milessabin / shapeless
Generic programming for Scala
fp functional-programming generic-programming scala typelevel
Language:Scala 3366
http4s / http4s
A minimal, idiomatic Scala interface for HTTP
cats fs2 http http-client http-server scala typelevel
Language:Scala 2514
tpolecat / doobie
Functional JDBC layer for Scala.
database fp functional-programming jdbc scala typelevel
Language:Scala 2126
monix / monix
Asynchronous, Reactive Programming for Scala and Scala.js.
scala monix typelevel functional-programming reactive-programming fp cats reactive-streams reactivex cats-effect
Language:Scala 1920
fthomas / refined
Refinement types for Scala
refinement-types scala typelevel
Language:Scala 1685
Monocle
optics-dev / Monocle
Optics library for Scala
cats functional-programming lens optics scala typelevel
Language:Scala 1632
typelevel / skunk
A data access library for Scala + Postgres.
scala postgres functional-programming cats cats-effect fs2 scodec typelevel database
Language:Scala 1553
pauljamescleary / scala-pet-store
An implementation of the java pet store using FP techniques in scala
scala tagless-final reference circe http4s rest doobie typelevel rest-api cats tagless final finally-tagless example sample project
Language:Scala 1058
typelevel / frameless
Expressive types for Spark.
scala spark typelevel fp functional-programming
Language:Scala 869
scodec / scodec
Scala combinator library for working with binary data
scala scodec encoding decoding binary typelevel
Language:Scala 800
tpolecat / tut
doc/tutorial generator for scala
typelevel
Language:Scala 582
tpolecat / cats-infographic
typeclass diagram for cats
cats fp typelevel
458
typelevel / algebra
Experimental project to lay out basic algebra type classes
algebra scala typelevel
Language:Scala 378
typelevel / mouse
A small companion to cats
cats scala typelevel
Language:Scala 354
typelevel / discipline
Flexible law checking for Scala
scala typelevel property-based-testing
Language:Scala 327
kailuowang / henkan
A small library for converting between case classes.
scala typelevel conversion transformation shapeless
Language:Scala 268
kubukoz / sup
Composable, purely functional healthchecks in Scala.
scala cats cats-effect healthcheck health functional fp functional-programming typelevel
Language:Scala 184
pepegar / hammock
Purely functional HTTP client
cats fp http scala typelevel
Language:Scala 176
typelevel / sbt-typelevel
Let sbt work for you.
scala sbt-plugin typelevel sbt
Language:Scala 163
pheymann / typedapi
Build your web API on the type level.
api typelevel shapeless scala typesafe servant
Language:Scala 161
typelevel / otel4s
An OpenTelemetry library for Scala based on Cats-Effect
opentelemetry scala cats cats-effect metrics tracing typelevel
Language:Scala 155
gvolpe / advanced-http4s
:rainbow: Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
http4s fs2 streaming typelevel rest-api middleware authentication concurrency
Language:Scala 142
coulomb
erikerlandson / coulomb
coulomb: unit analysis for Scala
unit-analysis unit-conversion scala numeric units-of-measure static-types dimensional-analysis units type-safety typelevel configuration-management configuration unit-quantity typeclass typechecking avro-schema pureconfig refined
Language:Scala 140
typelevel / spotted-leopards
Proof of concept for a cats-like library built using Dotty features
scala functional-programming typelevel
Language:Scala 117
SmartBackpacker / core
FP Scala Back-end of the Smart Backpacker App
typelevel cats cats-effect http4s fs2 circe doobie tsec scala-scraper
Language:Scala 102
wheaties / TwoTails
A Scala compiler plugin for mutual tail recursion
typelevel compiler-plugin scala recursion
Language:Scala 88
janstenpickle / extruder
Populate Case Classes From Any Data Source
scala shapeless cats typelevel extruder serialization encoding decoding configuration
Language:Scala 83
monix / monix-bio
Asynchronous data type with typed errors.
functional-programming scala monix cats-effect typelevel
Language:Scala 82
devanshj / txstate
An effort to statically type xstate
xstate typescript typelevel
Language:TypeScript 81
vitorsvieira / dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
scala typelevel scalameta scala-macros macros ddd ddd-patterns funcional-programming type-safety type-checking type-level-programming metaprogramming newtype
Language:Scala 81
cr-org / neutron
:stars: Purely functional Apache Pulsar client for Scala built on top of Fs2
cats-effect fs2 typelevel apache pulsar nix scala fp dhall
Language:Scala 72
profunktor / typelevel-stack.g8
:books: Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x
typelevel http4s doobie circe cats cats-effect sbt giter8-template giter8 fs2
Language:Scala 64
IronCoreLabs / cats-scalatest
Scalatest binding for Cats
typelevel scalatest-bindings cats scala
Language:Scala 62
typelevel / twiddles
Micro-library for building effectful protocols
fp scala typelevel
Language:Scala 61
proteinevolution / Toolkit
The MPI Bioinformatics Toolkit
bioinformatics protein-structure web-application reactive-programming structural-biology computational-biology sequence-search profile-search open-source profile-profile-search akka play-framework typelevel
Language:Scala 60
limansky / beanpuree
Middle layer between JavaBeans and shapeless
java-bean scala shapeless typelevel
Language:Scala 46