typelevel

Star

Here are 66 public repositories matching this topic...

milessabin / shapeless

Star

Generic programming for Scala

scala functional-programming typelevel fp generic-programming

Updated Aug 10, 2020
Scala

http4s / http4s

Star

A minimal, idiomatic Scala interface for HTTP

cats http scala typelevel fs2 http-client http-server

Updated Aug 16, 2020
Scala

tpolecat / doobie

Star

Functional JDBC layer for Scala.

scala database functional-programming jdbc typelevel fp

Updated Aug 14, 2020
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 Aug 13, 2020
Scala

optics-dev / Monocle

Star

Optics library for Scala

cats scala functional-programming typelevel scalaz lens optics

Updated Aug 13, 2020
Scala

fthomas / refined

Star

Simple refinement types for Scala

scala typelevel refinement-types

Updated Aug 14, 2020
Scala

tpolecat / skunk

Star

A data access library for Scala + Postgres.

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

Updated Aug 14, 2020
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 Aug 15, 2020
Scala

scodec / scodec

Star

Scala combinator library for working with binary data

encoding scala binary typelevel decoding scodec

Updated Aug 11, 2020
Scala

typelevel / frameless

Star

Expressive types for Spark.

scala spark functional-programming typelevel fp

Updated Aug 8, 2020
Scala

tpolecat / tut

Star

doc/tutorial generator for scala

typelevel

Updated Oct 1, 2019
Scala

tpolecat / cats-infographic

Star

typeclass diagram for cats

cats typelevel fp

Updated Sep 9, 2018

typelevel / algebra

Star

Experimental project to lay out basic algebra type classes

scala algebra typelevel

Updated Apr 15, 2020
Scala

typelevel / discipline

Star

Flexible law checking for Scala

scala typelevel property-based-testing

Updated Aug 1, 2020
Scala

typelevel / mouse

Star

A small companion to cats

cats scala typelevel

Updated Aug 8, 2020
Scala

pepegar / hammock

Star

Purely functional HTTP client

cats http scala typelevel fp

Updated Aug 8, 2020
Scala

pheymann / typedapi

Star

Build your web API on the type level.

api scala servant typelevel shapeless typesafe

Updated May 22, 2019
Scala

kubukoz / sup

Star

Composable, purely functional healthchecks in Scala.

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

Updated Aug 9, 2020
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

erikerlandson / coulomb

Star

coulomb: a statically typed unit analysis library for Scala

scala typelevel configuration numeric units-of-measure configuration-management unit-analysis unit-conversion static-types dimensional-analysis units typeclass type-safety avro-schema typechecking pureconfig refined unit-quantity

Updated Jul 30, 2020
Scala

SmartBackpacker / core

Star

FP Scala Back-end of the Smart Backpacker App

cats typelevel http4s fs2 circe doobie scala-scraper cats-effect tsec

Updated Jun 19, 2018
Scala

typelevel / spotted-leopards

Star

Proof of concept for a cats-like library built using Dotty features

scala functional-programming typelevel

Updated Nov 13, 2019
Scala

wheaties / TwoTails

Star

A Scala compiler plugin for mutual tail recursion

scala typelevel recursion compiler-plugin

Updated Jan 13, 2020
Scala

vitorsvieira / dilate

Star

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

scala ddd typelevel metaprogramming macros scala-macros type-safety type-checking scalameta ddd-patterns type-level-programming newtype funcional-programming

Updated Oct 19, 2017
Scala

janstenpickle / extruder

Star

Populate Case Classes From Any Data Source

cats encoding serialization scala typelevel configuration decoding shapeless extruder

Updated Nov 8, 2019
Scala

profunktor / typelevel-stack.g8

Star

📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x

cats sbt giter8 typelevel http4s fs2 circe giter8-template doobie cats-effect

Updated May 5, 2019
Scala

monix / monix-bio

Star

Asynchronous data type with typed errors.

scala functional-programming typelevel monix cats-effect

Updated Aug 13, 2020
Scala

IronCoreLabs / cats-scalatest

Star

Scalatest binding for Cats

cats scala typelevel scalatest-bindings

Updated Aug 7, 2020
Scala

TypeChecked / alphabet-soup

Star

Type calculations at compile time

scala functional-programming typelevel shapeless typelevel-programming alphabet-soup

Updated Sep 28, 2019
Scala

ThoughtWorksInc / template.scala

Star

C++ Flavored Template Metaprogramming in Scala

scala typelevel metaprogramming inline template-metaprogramming macro

Updated Mar 27, 2017
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