SaaSHub helps you find the best software and product alternatives Learn more →
Top 17 Scala Typelevel Projects
-
> Combined with the extremely powerful compile-time reflection capabilities of D it's the closest thing I've seen to Lisp metaprogramming outside of that family of languages ...
Scala gets pretty close to LISP-level of metaprogramming support between its intrinsic support for macros[0] (not to be confused with the C/C++ preprocessor of the same name) the Scalameta project[1], and libraries such as Shapeless[2].
Not comparing Scala to D, just identifying a language with similar functionality.
0 - https://docs.scala-lang.org/scala3/reference/metaprogramming...
1 - https://scalameta.org/
2 - https://github.com/milessabin/shapeless
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
-
-
-
-
-
Stream
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
-
-
-
- Project mention: Pipelining might be my favorite programming language feature | news.ycombinator.com | 2025-04-21
-
-
-
-
-
-
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).
Scala Typelevel discussion
Scala Typelevel related posts
-
Mouse 0.4.2 - Early release
-
Question regarding Recursive datatypes and cats typeclasses (Haskell to Scala)
-
Type erased on implicit evidence check
-
Cross-Training to Ada - which are the best languages to begin from?
-
for comprehension and some questions
-
Is there the equivalent of this in Scala ? (Maps to Struct)
-
Grasping the concepts and getting them down to earth
- A note from our sponsor - SaaSHub www.saashub.com | 22 Dec 2025
Index
What are some of the best open-source Typelevel projects in Scala? This list will help you:
| # | Project | Stars |
|---|---|---|
| 1 | Shapeless | 3,402 |
| 2 | Http4s | 2,601 |
| 3 | doobie | 2,205 |
| 4 | Monix | 1,937 |
| 5 | refined | 1,726 |
| 6 | Monocle | 1,690 |
| 7 | skunk | 1,634 |
| 8 | scala-pet-store | 1,077 |
| 9 | frameless | 892 |
| 10 | scodec | 817 |
| 11 | mouse | 376 |
| 12 | coulomb | 149 |
| 13 | spotted-leopards | 117 |
| 14 | lila-fishnet | 47 |
| 15 | scalanews | 38 |
| 16 | batcher | 18 |
| 17 | gql | 15 |
Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com