Scala Typelevel

Open-source Scala projects categorized as Typelevel
Edit details
Topics: Scala Functional programming Cats Fp cats-effect
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured

Top 16 Scala Typelevel Projects

  • Shapeless

    Generic programming for Scala

    • Project mention: Question regarding Recursive datatypes and cats typeclasses (Haskell to Scala) | /r/scala | 2023-07-06

    Scala 2-only: * Shapeless (there is Shapeless for Scala 3 but less often needed as basic things are in Scala 3)

  • Http4s

    A minimal, idiomatic Scala interface for HTTP

    • Project mention: How to get started? | /r/scala | 2023-06-02

    http4s is a Typelevel project, and therefore falls into the "program in Scala as if it were Haskell" category. Many people find this off-putting, but honestly, I think with the resources listed above, this is the option at the best intersection of "mature" and "well-documented" available in Scala. The reason it's off-putting to many people is that Haskell-style pure FP isn't mainstream, so it isn't so much a matter of learning a new technology as it is a matter of learning a new paradigm, which necessarily means surfacing and unlearning things you already know, and perhaps confronting the uncomfortable feeling that things you thought were "fundamental," "have to be that way," aren't, and don't. I personally found this process liberating. But not everyone does.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • doobie

    Functional JDBC layer for Scala.

  • Monix

    Asynchronous, Reactive Programming for Scala and Scala.js.

    • Project mention: Ask HN: What are some of the most elegant codebases in your favorite language? | news.ycombinator.com | 2023-06-17

  • refined

    Refinement types for Scala

    • Project mention: Make Invalid States Unrepresentable | dev.to | 2024-02-02

    Scala has quite good support for refined types across multiple libraries. A solution using the refined library might look something like

  • Monocle

    Optics library for Scala

  • skunk

    A data access library for Scala + Postgres.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • scala-pet-store

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

    • Project mention: Where can I find a Typelevel code example? | /r/scala | 2023-12-10

    In addition to the great work from Gabriel Volpe, there's the Scala Pet Store and a to-do app.

  • frameless

    Expressive types for Spark.

  • scodec

    Scala combinator library for working with binary data

  • mouse

    A small companion to cats (by typelevel)

    • Project mention: Mouse 0.4.2 - Early release | /r/scala | 2023-11-01

    Not related to another scala lib called mouse? https://github.com/typelevel/mouse

  • coulomb

    coulomb: unit analysis for Scala

  • spotted-leopards

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

  • scalanews

    Scala News - A Community Crowd Sourced newsletter using RSS

  • batcher

    Batch similar requests together transparently

  • gql

    A functional GraphQL implementation for Scala. https://valdemargr.github.io/gql/ (by ValdemarGr)

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Scala Typelevel related posts

  • Mouse 0.4.2 - Early release

    2 projects | /r/scala | 1 Nov 2023

  • Question regarding Recursive datatypes and cats typeclasses (Haskell to Scala)

    3 projects | /r/scala | 6 Jul 2023

  • Type erased on implicit evidence check

    1 project | /r/scala | 28 Apr 2023

  • Cross-Training to Ada - which are the best languages to begin from?

    1 project | /r/ada | 25 Jan 2023

  • for comprehension and some questions

    3 projects | /r/scala | 22 Jan 2023

  • Is there the equivalent of this in Scala ? (Maps to Struct)

    1 project | /r/scala | 27 Dec 2022

  • Grasping the concepts and getting them down to earth

    4 projects | /r/scala | 4 Nov 2022
  • A note from our sponsor - SaaSHub
    www.saashub.com | 28 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source Typelevel projects in Scala? This list will help you:

Project Stars
1 Shapeless 3,365
2 Http4s 2,514
3 doobie 2,126
4 Monix 1,920
5 refined 1,685
6 Monocle 1,632
7 skunk 1,552
8 scala-pet-store 1,058
9 frameless 869
10 scodec 800
11 mouse 354
12 coulomb 140
13 spotted-leopards 117
14 scalanews 38
15 batcher 18
16 gql 13

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com