Awesome Open Source

Programming Languages

The Top 23 Typelevel Open Source Projects

Open source projects categorized as Typelevel

Categories > Compilers > Typelevel

Edit Category

Shapeless ⭐ 3,341

Generic programming for Scala

dependent packages 721total releases 11most recent commit a month ago

Http4s ⭐ 2,470

A minimal, idiomatic Scala interface for HTTP

dependent packages 206total releases 301most recent commit 2 days ago

Doobie ⭐ 2,101

Functional JDBC layer for Scala.

dependent packages 99total releases 75most recent commit 3 days ago

Monix ⭐ 1,911

Asynchronous, Reactive Programming for Scala and Scala.js.

dependent packages 159total releases 61most recent commit 20 days ago

Refined ⭐ 1,658

Refinement types for Scala

dependent packages 170total releases 46most recent commit 4 days ago

Skunk ⭐ 1,505

A data access library for Scala + Postgres.

dependent packages 12total releases 17most recent commit 6 days ago

Frunk ⭐ 1,099

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

dependent packages 47total releases 47most recent commit 3 months ago

cargo frunk} Downloads

Scala Pet Store ⭐ 1,047

An implementation of the java pet store using FP techniques in scala

most recent commit 6 days ago

Frameless ⭐ 865

Expressive types for Spark.

dependent packages 21total releases 9most recent commit 5 days ago

Twitter Kit Android ⭐ 811

Twitter Kit for Android

most recent commit 5 years ago

Scala combinator library for working with binary data

dependent packages 63total releases 11most recent commit 19 days ago

Sharry is a self-hosted file sharing web application.

most recent commit a day ago

Decline ⭐ 599

A composable command-line parser for Scala.

dependent packages 22total releases 25most recent commit 6 months ago

Cats Infographic ⭐ 407

typeclass diagram for cats

most recent commit 3 years ago

Algebra ⭐ 379

Experimental project to lay out basic algebra type classes

dependent packages 26total releases 9most recent commit 2 years ago

A small companion to cats

dependent packages 18total releases 31most recent commit 4 days ago

Discipline ⭐ 323

Flexible law checking for Scala

dependent packages 169total releases 16most recent commit 3 months ago

Mu Haskell ⭐ 311

Mu (μ) is a purely functional framework for building micro services.

most recent commit a year ago

Examples of Dependently-typed programs in Haskell

most recent commit a year ago

A small library for converting between case classes.

dependent packages 1total releases 14most recent commit a year ago

Awesome Scala ⭐ 195

A curated list of awesome Scala frameworks, libraries and software.

most recent commit 25 days ago

Composable, purely functional healthchecks in Scala.

dependent packages 9total releases 15most recent commit a year ago

an implementation of Wadler's a prettier printer

dependent packages 34total releases 8most recent commit 21 days ago

The 10 Most Depended On Typelevel Open Source Projects

Shapeless ⭐ 3,341

Generic programming for Scala

dependent packages 721total releases 11latest release September 12, 2022most recent commit a month ago

Http4s ⭐ 2,470

A minimal, idiomatic Scala interface for HTTP

dependent packages 206total releases 301latest release November 14, 2023most recent commit 2 days ago

Refined ⭐ 1,658

Refinement types for Scala

dependent packages 170total releases 46latest release June 16, 2023most recent commit 4 days ago

Discipline ⭐ 323

Flexible law checking for Scala

dependent packages 169total releases 16latest release April 24, 2019most recent commit 3 months ago

Monix ⭐ 1,911

Asynchronous, Reactive Programming for Scala and Scala.js.

dependent packages 159total releases 61latest release May 07, 2022most recent commit 20 days ago

Doobie ⭐ 2,101

Functional JDBC layer for Scala.

dependent packages 99total releases 75latest release November 19, 2023most recent commit 3 days ago

Interop Cats ⭐ 156

ZIO instances for cats-effect type classes

dependent packages 77total releases 54latest release October 05, 2023most recent commit 2 months ago

Zero-dependency, purely functional library for effectful programming in Typescript

dependent packages 64total releases 367latest release October 04, 2023most recent commit 6 months ago

npm @fp4ts/core} Downloads

Scala combinator library for working with binary data

dependent packages 63total releases 11latest release September 10, 2022most recent commit 19 days ago

Frunk ⭐ 1,099

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

dependent packages 47total releases 47latest release June 17, 2023most recent commit 3 months ago

cargo frunk} Downloads

The 10 Latest Releases In Typelevel Open Source Projects

Skunk ⭐ 1,505

A data access library for Scala + Postgres.

dependent packages 12total releases 17latest release November 23, 2023most recent commit 6 days ago

Doobie ⭐ 2,101

Functional JDBC layer for Scala.

dependent packages 99total releases 75latest release November 19, 2023most recent commit 3 days ago

A small companion to cats

dependent packages 18total releases 31latest release November 19, 2023most recent commit 4 days ago

Http4s ⭐ 2,470

A minimal, idiomatic Scala interface for HTTP

dependent packages 206total releases 301latest release November 14, 2023most recent commit 2 days ago

Sbt Typelevel ⭐ 150

Let sbt work for you.

dependent packages 7total releases 21latest release November 13, 2023most recent commit 6 days ago

An OpenTelemetry library for Scala based on Cats-Effect

dependent packages 6total releases 5latest release November 10, 2023most recent commit a day ago

Twiddles ⭐ 55

Micro-library for building effectful protocols

dependent packages 2total releases 7latest release October 28, 2023most recent commit 19 days ago

Interop Cats ⭐ 156

ZIO instances for cats-effect type classes

dependent packages 77total releases 54latest release October 05, 2023most recent commit 2 months ago

Zero-dependency, purely functional library for effectful programming in Typescript

dependent packages 64total releases 367latest release October 04, 2023most recent commit 6 months ago

npm @fp4ts/core} Downloads

Coulomb ⭐ 137

coulomb: unit analysis for Scala

dependent packages 8total releases 9latest release September 30, 2023most recent commit 20 days ago

Popular Compilers Categories

Abstract Syntax Tree

Categories

Application Programming Interfaces

Artificial Intelligence

Cloud Computing

Command Line Interface

Computer Science

Configuration Management

Content Management

Data Processing

Integrated Development Environments

Learning Resources

Lists Of Projects

Machine Learning

Operating Systems

Package Managers

Programming Languages

Runtime Environments

Software Architecture

Software Development

Software Performance

Software Quality

Text Processing

User Interface Components

Version Control

Web User Interface

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source. All rights reserved.