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 25 Typelevel Open Source Projects

Categories > Compilers > Typelevel
Shapeless ⭐ 3,110
Generic programming for Scala
Http4s ⭐ 1,956
A minimal, idiomatic Scala interface for HTTP
Doobie ⭐ 1,763
Functional JDBC layer for Scala.
Monix ⭐ 1,749
Asynchronous, Reactive Programming for Scala and Scala.js.
Monocle ⭐ 1,319
Optics library for Scala
Refined ⭐ 1,289
Simple refinement types for Scala
Skunk ⭐ 1,059
A data access library for Scala + Postgres.
Scala Pet Store ⭐ 790
An implementation of the java pet store using FP techniques in scala
Scodec ⭐ 708
Scala combinator library for working with binary data
Frameless ⭐ 702
Expressive types for Spark.
Tut ⭐ 593
doc/tutorial generator for scala
Cats Infographic ⭐ 395
typeclass diagram for cats
Algebra ⭐ 374
Experimental project to lay out basic algebra type classes
Discipline ⭐ 281
Flexible law checking for Scala
Mouse ⭐ 236
A small companion to cats
Hammock ⭐ 174
Purely functional HTTP client
Typedapi ⭐ 165
Build your web API on the type level.
Sup ⭐ 137
Composable, purely functional healthchecks in Scala.
Advanced Http4s ⭐ 133
🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
Coulomb ⭐ 108
coulomb: unit analysis for Scala
Spotted Leopards ⭐ 90
Proof of concept for a cats-like library built using Dotty features
Dilate ⭐ 80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Monix Bio ⭐ 76
Asynchronous data type with typed errors.
Neutron ⭐ 50
🌠 Purely functional Apache Pulsar client for Scala built on top of Fs2
Template.scala ⭐ 40
C++ Flavored Template Metaprogramming in Scala
1-25 of 25 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