AlgebraExperimental project to lay out basic algebra type classes
Stars: ✭ 377 (-36.42%)
ShapelessGeneric programming for Scala
Stars: ✭ 3,207 (+440.81%)
DisciplineFlexible law checking for Scala
Stars: ✭ 286 (-51.77%)
HenkanA small library for converting between case classes.
Stars: ✭ 262 (-55.82%)
fib-anyonAn implementation of Fibonacci Anyons in Haskell
Stars: ✭ 18 (-96.96%)
alphabet-soupType calculations at compile time
Stars: ✭ 40 (-93.25%)
http4s-domhttp4s, in a browser near you
Stars: ✭ 13 (-97.81%)
txstateAn effort to statically type xstate
Stars: ✭ 64 (-89.21%)
oh-migrationsData migrations through implicit function composition at the type-level
Stars: ✭ 23 (-96.12%)
sbt-org-policiesJust an SBT plugin that enforces some organizational policies and settings across all of your projects
Stars: ✭ 22 (-96.29%)
generalRepository for general Typelevel information, activity and issues
Stars: ✭ 19 (-96.8%)
typelevel-stack.g8📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x
Stars: ✭ 63 (-89.38%)
MouseA small companion to cats
Stars: ✭ 247 (-58.35%)
HammockPurely functional HTTP client
Stars: ✭ 174 (-70.66%)
Http4sA minimal, idiomatic Scala interface for HTTP
Stars: ✭ 2,173 (+266.44%)
TypedapiBuild your web API on the type level.
Stars: ✭ 165 (-72.18%)
DoobieFunctional JDBC layer for Scala.
Stars: ✭ 1,910 (+222.09%)
MonixAsynchronous, Reactive Programming for Scala and Scala.js.
Stars: ✭ 1,819 (+206.75%)
SupComposable, purely functional healthchecks in Scala.
Stars: ✭ 138 (-76.73%)
Advanced Http4s🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
Stars: ✭ 136 (-77.07%)
Coulombcoulomb: unit analysis for Scala
Stars: ✭ 109 (-81.62%)
MonocleOptics library for Scala
Stars: ✭ 1,357 (+128.84%)
RefinedSimple refinement types for Scala
Stars: ✭ 1,316 (+121.92%)
Spotted LeopardsProof of concept for a cats-like library built using Dotty features
Stars: ✭ 91 (-84.65%)
DilateNearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Stars: ✭ 80 (-86.51%)
Monix BioAsynchronous data type with typed errors.
Stars: ✭ 80 (-86.51%)
SkunkA data access library for Scala + Postgres.
Stars: ✭ 1,107 (+86.68%)
Neutron🌠 Purely functional Apache Pulsar client for Scala built on top of Fs2
Stars: ✭ 53 (-91.06%)
Template.scalaC++ Flavored Template Metaprogramming in Scala
Stars: ✭ 40 (-93.25%)
Scala Pet StoreAn implementation of the java pet store using FP techniques in scala
Stars: ✭ 812 (+36.93%)
FramelessExpressive types for Spark.
Stars: ✭ 717 (+20.91%)
ScodecScala combinator library for working with binary data
Stars: ✭ 709 (+19.56%)