Awesome Open Source
Awesome Open Source
Combined Topics
typelevel x
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194

The Top 82 Typelevel Open Source Projects on Github

Categories > Compilers > Typelevel
Shapeless ⭐ 3,182
Generic programming for Scala
Http4s ⭐ 2,100
A minimal, idiomatic Scala interface for HTTP
Doobie ⭐ 1,857
Functional JDBC layer for Scala.
Monix ⭐ 1,803
Asynchronous, Reactive Programming for Scala and Scala.js.
Monocle ⭐ 1,414
Optics library for Scala
Refined ⭐ 1,397
Refinement types for Scala
Skunk ⭐ 1,211
A data access library for Scala + Postgres.
Scala Pet Store ⭐ 870
An implementation of the java pet store using FP techniques in scala
Frunk ⭐ 791
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Frameless ⭐ 748
Expressive types for Spark.
Scodec ⭐ 722
Scala combinator library for working with binary data
Tut ⭐ 593
doc/tutorial generator for scala
Cats Infographic ⭐ 407
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 ⭐ 252
A small companion to cats
Mu Haskell ⭐ 237
Mu (μ) is a purely functional framework for building micro services.
Hammock ⭐ 175
Purely functional HTTP client
Sup ⭐ 172
Composable, purely functional healthchecks in Scala.
Typedapi ⭐ 163
Build your web API on the type level.
Purescript Simple Json ⭐ 117
A simple Purescript JSON library that uses types automatically
Advanced Http4s ⭐ 114
🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
Coulomb ⭐ 114
coulomb: unit analysis for Scala
Spotted Leopards ⭐ 103
Proof of concept for a cats-like library built using Dotty features
Core ⭐ 99
FP Scala Back-end of the Smart Backpacker App
Twotails ⭐ 84
A Scala compiler plugin for mutual tail recursion
Monix Bio ⭐ 81
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.
Extruder ⭐ 76
Populate Case Classes From Any Data Source
Typelevel Stack.g8 ⭐ 64
📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x
Neutron ⭐ 61
🌠 Purely functional Apache Pulsar client for Scala built on top of Fs2
Cats Scalatest ⭐ 55
Scalatest binding for Cats
Txstate ⭐ 53
An effort to statically type xstate
Type Errors Pretty ⭐ 49
💄🐞 Combinators for writing pretty type errors easily
Beanpuree ⭐ 45
Middle layer between JavaBeans and shapeless
Toolkit ⭐ 40
The MPI Bioinformatics Toolkit
Alphabet Soup ⭐ 40
Type calculations at compile time
Template.scala ⭐ 38
C++ Flavored Template Metaprogramming in Scala
Type Operators Rs ⭐ 35
A macro for defining type operators in Rust.
Lambda Scala ⭐ 32
Type level lambda calculus in Scala
Http4s Modules ⭐ 30
Web modules built on Http4s
Type Natural ⭐ 30
Type-level well-kinded natural numbers.
Oh Migrations ⭐ 23
Data migrations through implicit function composition at the type-level
Sbt Org Policies ⭐ 22
Just an SBT plugin that enforces some organizational policies and settings across all of your projects
Scala Superquants ⭐ 16
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
General ⭐ 16
Repository for general Typelevel information, activity and issues
Fib Anyon ⭐ 13
An implementation of Fibonacci Anyons in Haskell
Purescript Kushiyaki ⭐ 9
A library for PureScript 0.12 using Record-Format to parse urls with a template.
Dense ⭐ 8
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
Purescript Biang ⭐ 8
A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.
Purescript Typelevel Lists ⭐ 8
Type-level list of kinds for PureScript.
Purescript Jajanmen ⭐ 7
Cool type-safe Symbol query parameterized helper for Node-SQLite3
Purescript Kushikatsu ⭐ 7
Simple routing with Kushiyaki.
Catharsis ⭐ 6
Utilities for cats-effect that don't really fit in the upstream.
Purescript Type Isequal ⭐ 5
Type equality check returning a Boolean kind. Useful for type-level programming.
Type Ops ⭐ 4
A collection of useful operators to make type-level programming in TypeScript easier
Discogs4s ⭐ 4
Discogs API client
Modesofcomposition ⭐ 4
Lambdajam 2021 online workshop in Compositional Functional Programming in Scala
Katsconf2017 ⭐ 3
Tutorial at Kats Conf 2, 2017 (ARCHIVED)
Fragile ⭐ 3
🚀 Typelevel playground
Maantrack ⭐ 3
Simple task tracking application
Purescript Typelevel Arithmetic ⭐ 3
Fast typelevel arithmetic 🧮 using symbols
Minihlist ⭐ 3
A minimalistic yet powerful HList (heterogeneous list) implementation in Rust
Hfuzz ⭐ 3
Implementation of differential privacy in Haskell
Enum To Types ⭐ 2
Macro for generating pseudo-enums for type-level programming.
Functional Movie Library ⭐ 2
Movie library service written in a functional way using Typelevel stack.
Purescript Chahan ⭐ 2
Turn your Generics-Rep Sums and Products into lists, because that's cool.
Thinking With Types ⭐ 2
⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
Purescript Naporitan ⭐ 2
Because sometimes, you want a reflected record of proxies to make life easier.
Purescript Materialize ⭐ 2
Materialize bindings à la purescript-smolder.
Purescript Shoronpo ⭐ 2
A library for type-level Symbol formatting with other Symbols, e.g. intercalated record labels
Typelevel Stack ⭐ 2
Small HTTP web server with a simple backend, implemented using typelevel libraries (cats, http4s, doobie, circe, etc.) and packaged via docker-compose.
Htensor ⭐ 2
Haskell type-level multi-dimensional array
Cats Effect Talk ⭐ 1
Notes, examples, scripts I used for a primer on cats-effect comparing to Scala Future
Purescript Xiaomian ⭐ 1
Make a record of SProxy of keys of a row type easily, and just plug in the inferred type when you're finished.
Reverso ⭐ 1
Functional Constraint Solver for Scala.
Onebit ⭐ 1
Bit operations and bit fields at type level
Koukou ⭐ 1
WIP Functional file monitoring based on better-files and pureconfig
Shapeless Demo ⭐ 1
Shapeless playground
Purescript Dango ⭐ 0
A fun library for sized lists in PureScript 0.12 using Symbols
Siunits ⭐ 0
1-82 of 82 projects

Related Projects

Scala Typelevel Projects (55)
Cats Typelevel Projects (22)
Scala Cats Typelevel Projects (21)
Functional Programming Typelevel Projects (18)
Scala Functional Programming Typelevel Projects (17)
Scala Cats Effect Typelevel Projects (14)
Cats Effect Typelevel Projects (14)
Purescript Typelevel Projects (13)
Fp Typelevel Projects (10)
Typelevel Type Level Programming Projects (10)
Scala Typelevel Programming Projects (9)
Scala Http4s Typelevel Projects (9)
Http4s Typelevel Projects (9)
Scala Functional Programming Cats Typelevel Projects (8)
Scala Typelevel Shapeless Projects (8)
Typelevel Shapeless Projects (8)
Haskell Typelevel Projects (8)
Functional Programming Cats Typelevel Projects (8)
Scala Functional Programming Cats Effect Typelevel Projects (7)
Functional Programming Cats Effect Typelevel Projects (7)
Scala Fp Typelevel Projects (7)
Scala Fs2 Typelevel Projects (6)
Scala Http4s Circe Typelevel Projects (6)
Scala Http4s Typelevel Doobie Projects (6)
Scala Circe Typelevel Projects (6)
Scala Typelevel Doobie Projects (6)
Scala Cats Http4s Typelevel Projects (6)
Scala Functional Programming Fp Typelevel Projects (5)
Functional Programming Fp Typelevel Projects (5)
Scala Http4s Circe Typelevel Doobie Projects (5)
Scala Circe Typelevel Doobie Projects (5)
Scala Cats Http4s Typelevel Doobie Projects (5)
Scala Cats Typelevel Doobie Projects (5)
Scala Cats Fs2 Typelevel Projects (4)
Rust Typelevel Projects (4)
Cats Fp Typelevel Projects (4)
Scala Cats Effect Fs2 Typelevel Projects (4)
Scala Cats Typelevel Tagless Final Projects (4)
Scala Typelevel Tagless Final Projects (4)
Rust Typelevel Type Level Programming Projects (3)
Lenses Typelevel Projects (3)
Scala Cats Fp Typelevel Projects (3)
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open Source 2018-2021