Awesome Open Source
Awesome Open Source
Combined Topics
typelevel x
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210

The Top 26 Typelevel Open Source Projects

Categories > Compilers > Typelevel
Shapeless ⭐ 3,152
Generic programming for Scala
Http4s ⭐ 2,023
A minimal, idiomatic Scala interface for HTTP
Doobie ⭐ 1,808
Functional JDBC layer for Scala.
Monix ⭐ 1,783
Asynchronous, Reactive Programming for Scala and Scala.js.
Monocle ⭐ 1,371
Optics library for Scala
Refined ⭐ 1,343
Simple refinement types for Scala
Skunk ⭐ 1,150
A data access library for Scala + Postgres.
Scala Pet Store ⭐ 824
An implementation of the java pet store using FP techniques in scala
Frameless ⭐ 727
Expressive types for Spark.
Scodec ⭐ 716
Scala combinator library for working with binary data
Tut ⭐ 594
doc/tutorial generator for scala
Cats Infographic ⭐ 410
typeclass diagram for cats
Algebra ⭐ 379
Experimental project to lay out basic algebra type classes
Discipline ⭐ 290
Flexible law checking for Scala
Henkan ⭐ 264
A small library for converting between case classes.
Mouse ⭐ 250
A small companion to cats
Hammock ⭐ 175
Purely functional HTTP client
Typedapi ⭐ 165
Build your web API on the type level.
Sup ⭐ 154
Composable, purely functional healthchecks in Scala.
Advanced Http4s ⭐ 138
🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
Coulomb ⭐ 111
coulomb: unit analysis for Scala
Spotted Leopards ⭐ 99
Proof of concept for a cats-like library built using Dotty features
Monix Bio ⭐ 82
Asynchronous data type with typed errors.
Dilate ⭐ 80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Neutron ⭐ 54
🌠 Purely functional Apache Pulsar client for Scala built on top of Fs2
Template.scala ⭐ 40
C++ Flavored Template Metaprogramming in Scala
1-26 of 26 projects
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210