Typelevel

Open-source projects categorized as Typelevel
Edit details
Topics: Scala Functional programming Cats Fp cats-effect
The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
workos.com
Sponsored

Top 17 Typelevel Open-Source 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.

  • 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.

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  • 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

  • cats-infographic

    typeclass diagram for cats

  • 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

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). The latest post mention was on 2024-02-02.

Typelevel related posts

Index

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

Project Stars
1 Shapeless 3,360
2 Http4s 2,505
3 doobie 2,116
4 Monix 1,920
5 refined 1,678
6 Monocle 1,629
7 skunk 1,545
8 scala-pet-store 1,054
9 frameless 868
10 scodec 799
11 cats-infographic 458
12 mouse 353
13 coulomb 140
14 spotted-leopards 117
15 scalanews 37
16 batcher 17
17 gql 13

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