Explore @typelevel Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Python

Scala

C

Clojure

C++

Lua

Perl

Swift

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

F#

Groovy

Lua

Rust

Zig

C++

Jupyter Notebook

C#

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇩🇴 Dominican Republic

🇰🇵 North Korea

🇪🇸 Spain

🇷🇸 Serbia

🇸🇳 Senegal

🇰🇲 Comoros

🇲🇩 Moldova

🇸🇮 Slovenia

All Countries Compare Countries

typelevel.scala (@typelevel)

typelevel

Stars
26,782
Global Org. Rank 700 (Top 0.3 %)
Registered about 11 years ago
Most used languages

Scala
93.6 %

Shell
2.1 %

Nix
2.1 %

HTML
1.1 %

JavaScript
1.1 %

cats

Lightweight, modular, and extensible library for functional programming.

fs2

Compositional, streaming I/O library for Scala

scalacheck

Property-based testing for Scala

cats-effect

The pure asynchronous runtime for Scala

spire

Powerful new number types and numeric abstractions for Scala.

skunk

A data access library for Scala + Postgres.

simulacrum

First class syntax support for type classes in Scala

squants

The Scala API for Quantities, Units of Measure and Dimensional Analysis

kind-projector

Compiler plugin for making type lambdas (type projections) easier to write

frameless

Expressive types for Spark.

cats-collections

Data structures for pure functional programming in Scala

kittens

Automatic type class derivation for Cats

jawn

Jawn is for parsing jay-sawn (JSON)

log4cats

Logging Tools For Interaction with cats-effect

Laika

Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

algebra

Experimental project to lay out basic algebra type classes

mouse

A small companion to cats

sbt-tpolecat

scalac options for the enlightened

discipline

Flexible law checking for Scala

natchez

functional tracing for cats

cats-mtl

cats transformer type classes.

cats-tagless

Library of utilities for tagless final encoded algebras

CT_from_Programmers.scala

Scala sample code for Bartosz Milewski's CT for Programmers

fs2-grpc

gRPC implementation for FS2/cats-effect

cats-parse

A parsing library for the cats ecosystem

machinist

Spire's macros for zero-cost operator enrichment

cats-effect-testing

Integration between cats-effect and test frameworks

paiges

an implementation of Wadler's a prettier printer

shapeless-3

Generic programming for Scala

grackle

Grackle: Functional GraphQL for the Typelevel stack

sbt-typelevel

Let sbt work for you.

feral

Feral cats are homeless, feral functions are serverless

munit-cats-effect

Integration library for MUnit & cats-effect

catbird

Birds and cats together

otel4s

An OpenTelemetry library for Scala based on Cats-Effect

fs2-chat

Sample project demonstrating use of fs2-io to build a chat client and server

spotted-leopards

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

fabric

Object-Notation Abstraction for JSON, binary, HOCON, etc.

literally

Compile time validation of literal values built from strings

toolkit

Quickstart your next app with the Typelevel Toolkit!

cats-time

Cats Instances for Java Time

typelevel-nix

Development tools for Typelevel projects

vault

Type-safe, persistent storage for values of arbitrary types

shapeless-contrib

Interoperability libraries for Shapeless

cats-effect-cps

An incubator project for async/await syntax support for Cats Effect

scalacheck-effect

Effectful property testing built on ScalaCheck

coop

Cooperative multithreading as a pure monad transformer

claimant

Library to support automatic labeling of ScalaCheck properties.

typeclassic

Everything you need to make type classes first class.

scalaz-contrib

Interoperability libraries & additional data structures and instances for Scalaz

twiddles

Micro-library for building effectful protocols

monoids

Generic Monoids for Scala

fs2-netty

What it says on the tin!

sbt-catalysts

sbt utilities for open source projects

natchez-http4s

Glorious integration layer for Natchez and Http4s.

typelevel.github.com

Web site of typelevel.scala

jawn-fs2

Integration between jawn and fs2

keypool

A Keyed Pool Implementation for Scala

scalaz-specs2

Specs2 bindings for Scalaz

catalysts

case-insensitive

A case-insensitive string for Scala

simulacrum-scalafix

Simulacrum as Scalafix rules

scalaz-outlaws

outcasts no longer allowed in the ivory tower

scalac-options

A library for configuring scalac options

bobcats

Typelevel's very own CryptoKitties!

ce3.g8

scalaz-scalatest

Scalatest bindings for scalaz.

general

Repository for general Typelevel information, activity and issues

discipline-munit

MUnit binding for Typelevel Discipline

unique

Unique Functional Values for Scala

cats-testkit-scalatest

Cats Testkit for Scalatest

discipline-scalatest

ScalaTest binding for Discipline

typelevel-scalafix

Scalafix rules for Typelevel projects

semigroups

cats-effect-shell

Command line debugging console for Cats Effect

jdk-index

A Jabba compatible index of JDK versions

cats-uri

URI implementation based on cats-parse with cats instances

typelevel.g8

A typelevel.g8 based on sbt-typelevel

catapult

weaver-test

A test framework that runs everything in parallel.

discipline-specs2

Specs2 Integration for Discipline

governance

Typelevel governance

catz-cradle

Testbed for scala libraries and tools, based on examples from cats docs

spire-contrib

Interoperability libraries for spire

idna4s

Cross-platform Scala implementation of Internationalized Domain Names in Applications

scalac-compat

Lightweight tools for tackling Scalac version incompatibilities

steward

Runs Scala Steward for Typelevel projects

cats-effect-main

sacagawea

Common infrastructure for tracing functional effects

scalacheck-xml

Scalacheck instances for scala-xml

sorcery

scalacheck-web

ScalaCheck Web Site

sbt-catalysts.g8

feral.g8

Giter8 template for feral serverless

download-java

toolkit.g8

A Giter8 template for Typelevel Toolkit!

sbt-tls-crossproject

sbt-crossproject plugin for Typelevel Scala

catalysts-docker

await-cirrus

Depend on Cirrus CI from a GitHub Actions workflow

.github

a ✨special ✨ repository for project defaults and organization readme