Awesome Open Source

Programming Languages

The Top 23 Typelevel Open Source Projects

Open source projects categorized as Typelevel

Categories > Compilers > Typelevel

Edit Category

Http4s ⭐ 2,482

A minimal, idiomatic Scala interface for HTTP

dependent packages 147total releases 165most recent commit a year ago

Doobie ⭐ 2,106

Functional JDBC layer for Scala.

dependent packages 99total releases 75most recent commit a year ago

Monix ⭐ 1,930

Asynchronous, Reactive Programming for Scala and Scala.js.

dependent packages 159total releases 61most recent commit 4 months ago

Refined ⭐ 1,664

Refinement types for Scala

dependent packages 170total releases 46most recent commit a year ago

Skunk ⭐ 1,584

A data access library for Scala + Postgres.

dependent packages 12total releases 17most recent commit 2 months ago

Scala Pet Store ⭐ 1,049

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

most recent commit a year ago

Frameless ⭐ 869

Expressive types for Spark.

dependent packages 21total releases 9most recent commit 8 months ago

Twitter Kit Android ⭐ 811

Twitter Kit for Android

most recent commit 6 years ago

Scala combinator library for working with binary data

dependent packages 63total releases 11most recent commit a year ago

Algebra ⭐ 378

Experimental project to lay out basic algebra type classes

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

A small companion to cats

dependent packages 18total releases 31most recent commit a year ago

Mu Haskell ⭐ 311

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

most recent commit 2 years ago

Examples of Dependently-typed programs in Haskell

most recent commit 2 years ago

A small library for converting between case classes.

dependent packages 1total releases 14most recent commit 2 years ago

Awesome Scala ⭐ 197

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

most recent commit a year ago

an implementation of Wadler's a prettier printer

dependent packages 34total releases 8most recent commit a year ago

Hammock ⭐ 178

Purely functional HTTP client

dependent packages 11total releases 19most recent commit 2 years ago

Recursion Scheme Talk ⭐ 176

A talk on using recursion schemes in FP.

most recent commit 8 years ago

Singleton Ops ⭐ 162

Operations for primitive and String singleton types

dependent packages 6total releases 8most recent commit a year ago

Interop Cats ⭐ 156

ZIO instances for cats-effect type classes

dependent packages 77total releases 54most recent commit a year ago

Sbt Typelevel ⭐ 148

Let sbt work for you.

dependent packages 7total releases 21most recent commit a year ago

Advanced Http4s ⭐ 114

🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.

most recent commit 6 years ago

Spotted Leopards ⭐ 112

Proof of concept for a cats-like library built using Dotty features

most recent commit a year ago

The 10 Most Depended On Typelevel Open Source Projects

Refined ⭐ 1,664

Refinement types for Scala

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

Monix ⭐ 1,930

Asynchronous, Reactive Programming for Scala and Scala.js.

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

Http4s ⭐ 2,482

A minimal, idiomatic Scala interface for HTTP

dependent packages 147total releases 165latest release November 14, 2023most recent commit a year ago

Doobie ⭐ 2,106

Functional JDBC layer for Scala.

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

Interop Cats ⭐ 156

ZIO instances for cats-effect type classes

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

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

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

npm @fp4ts/core} Downloads

Scala combinator library for working with binary data

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

an implementation of Wadler's a prettier printer

dependent packages 34total releases 8latest release June 25, 2023most recent commit a year ago

Algebra ⭐ 378

Experimental project to lay out basic algebra type classes

dependent packages 26total releases 9latest release October 05, 2019most recent commit 3 years ago

Frameless ⭐ 869

Expressive types for Spark.

dependent packages 21total releases 9latest release September 27, 2023most recent commit 8 months ago

The 10 Latest Releases In Typelevel Open Source Projects

Skunk ⭐ 1,584

A data access library for Scala + Postgres.

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

Doobie ⭐ 2,106

Functional JDBC layer for Scala.

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

A small companion to cats

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

A functional GraphQL implementation for Scala. https://valdemargr.github.io/gql/

dependent packages 10total releases 227latest release November 18, 2023most recent commit a year ago

Http4s ⭐ 2,482

A minimal, idiomatic Scala interface for HTTP

dependent packages 147total releases 165latest release November 14, 2023most recent commit a year ago

Sbt Typelevel ⭐ 148

Let sbt work for you.

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

Twiddles ⭐ 56

Micro-library for building effectful protocols

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

Interop Cats ⭐ 156

ZIO instances for cats-effect type classes

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

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

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

npm @fp4ts/core} Downloads

Frameless ⭐ 869

Expressive types for Spark.

dependent packages 21total releases 9latest release September 27, 2023most recent commit 8 months 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-2024 Awesome Open Source. All rights reserved.