typelevel

Star

Here are 90 public repositories matching this topic...

milessabin / shapeless

Star

Generic programming for Scala

scala functional-programming typelevel fp generic-programming

Updated Feb 17, 2023
Scala

http4s / http4s

Star

A minimal, idiomatic Scala interface for HTTP

cats http scala typelevel fs2 http-client http-server

Updated Mar 7, 2023
Scala

tpolecat / doobie

Star

Functional JDBC layer for Scala.

scala database functional-programming jdbc typelevel fp

Updated Mar 6, 2023
Scala

monix / monix

Star

Asynchronous, Reactive Programming for Scala and Scala.js.

cats reactivex scala functional-programming typelevel reactive-streams fp reactive-programming monix cats-effect

Updated Feb 24, 2023
Scala

fthomas / refined

Star

Refinement types for Scala

scala typelevel refinement-types

Updated Mar 4, 2023
Scala

optics-dev / Monocle

Star

Optics library for Scala

cats scala functional-programming typelevel lens optics

Updated Mar 4, 2023
Scala

tpolecat / skunk

Star

A data access library for Scala + Postgres.

cats postgres scala database functional-programming typelevel fs2 scodec cats-effect

Updated Mar 4, 2023
Scala

pauljamescleary / scala-pet-store

Star

An implementation of the java pet store using FP techniques in scala

cats sample scala rest reference rest-api example final typelevel http4s project circe doobie tagless-final finally-tagless tagless

Updated Mar 6, 2023
Scala

typelevel / frameless

Star

Expressive types for Spark.

scala spark functional-programming typelevel fp

Updated Mar 4, 2023
Scala

scodec / scodec

Star

Scala combinator library for working with binary data

encoding scala binary typelevel decoding scodec

Updated Mar 4, 2023
Scala

tpolecat / tut

Star

doc/tutorial generator for scala

typelevel

Updated Apr 12, 2021
Scala

tpolecat / cats-infographic

Star

typeclass diagram for cats

cats typelevel fp

Updated Apr 9, 2021

typelevel / algebra

Star

Experimental project to lay out basic algebra type classes

scala algebra typelevel

Updated Nov 5, 2021
Scala

typelevel / mouse

Star

A small companion to cats

cats scala typelevel

Updated Mar 4, 2023
Scala

typelevel / discipline

Star

Flexible law checking for Scala

scala typelevel property-based-testing

Updated Mar 4, 2023
Scala

kailuowang / henkan

Star

A small library for converting between case classes.

scala typelevel conversion shapeless transformation

Updated Nov 2, 2022
Scala

kubukoz / sup

Star

Composable, purely functional healthchecks in Scala.

cats functional scala functional-programming healthcheck typelevel health fp cats-effect

Updated Dec 26, 2022
Scala

pepegar / hammock

Star

Purely functional HTTP client

cats http scala typelevel fp

Updated Mar 2, 2023
Scala

pheymann / typedapi

Star

Build your web API on the type level.

api scala servant typelevel shapeless typesafe

Updated May 22, 2019
Scala

gvolpe / advanced-http4s

Star

🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.

middleware streaming authentication rest-api typelevel concurrency http4s fs2

Updated Jan 5, 2019
Scala

Improve this page

Add a description, image, and links to the typelevel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the typelevel topic, visit your repo's landing page and select "manage topics."

Learn more