GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Build software better, together

#

typelevel

Star

Here are 146 public repositories matching this topic...

Language: All
Filter by language
All 146 Scala 130 TypeScript 4 PureScript 3 Haskell 2 Rust 2 Java 1
Sort: Most stars
Sort options
Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

milessabin / shapeless

Star 3.4k

Generic programming for Scala

scala functional-programming typelevel fp generic-programming
  • Updated Oct 28, 2026
  • Scala

http4s / http4s

Star 2.6k

A minimal, idiomatic Scala interface for HTTP

cats http scala typelevel fs2 http-client http-server
  • Updated Nov 11, 2026
  • Scala

typelevel / doobie

Sponsor
Star 2.2k

Functional JDBC layer for Scala.

scala database functional-programming jdbc typelevel fp
  • Updated Nov 11, 2026
  • Scala

monix / monix

Star 1.9k

Asynchronous, Reactive Programming for Scala and Scala.js.

cats reactivex scala functional-programming typelevel reactive-streams fp reactive-programming monix cats-effect
  • Updated Nov 9, 2026
  • Scala

fthomas / refined

Star 1.7k

Refinement types for Scala

scala typelevel refinement-types
  • Updated Nov 5, 2026
  • Scala
Monocle

optics-dev / Monocle

Star 1.7k

Optics library for Scala

cats scala functional-programming typelevel lens optics
  • Updated Oct 28, 2026
  • Scala

typelevel / skunk

Sponsor
Star 1.7k

A data access library for Scala + Postgres.

cats postgres scala database functional-programming typelevel fs2 scodec cats-effect
  • Updated Nov 7, 2026
  • Scala

pauljamescleary / scala-pet-store

Star 1.1k

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

cats sample scala rest reference rest-api example final typelevel http4s project circe doobie tagless-final finally-tagless tagless
  • Updated Apr 13, 2026
  • Scala

typelevel / frameless

Sponsor
Star 898

Expressive types for Spark.

scala spark functional-programming typelevel fp
  • Updated Oct 28, 2026
  • Scala

scodec / scodec

Star 818

Scala combinator library for working with binary data

encoding scala binary typelevel decoding scodec
  • Updated Sep 8, 2026
  • Scala

tpolecat / tut

Star 572

doc/tutorial generator for scala

typelevel
  • Updated Apr 12, 2021
  • Scala

tpolecat / cats-infographic

Star 462

typeclass diagram for cats

cats typelevel fp
  • Updated Apr 9, 2021

typelevel / algebra

Sponsor
Star 378

Experimental project to lay out basic algebra type classes

scala algebra typelevel
  • Updated Nov 5, 2021
  • Scala

typelevel / mouse

Sponsor
Star 376

A small companion to cats

cats scala typelevel
  • Updated Nov 1, 2026
  • Scala

typelevel / discipline

Sponsor
Star 338

Flexible law checking for Scala

scala typelevel property-based-testing
  • Updated Oct 28, 2026
  • Scala

kailuowang / henkan

Star 263

A small library for converting between case classes.

scala typelevel conversion shapeless transformation
  • Updated Oct 18, 2023
  • Scala

typelevel / otel4s

Sponsor
Star 216

An OpenTelemetry library for Scala based on Cats-Effect

cats scala metrics typelevel tracing cats-effect opentelemetry
  • Updated Nov 11, 2026
  • Scala

typelevel / sbt-typelevel

Sponsor
Star 185

Let sbt work for you.

scala sbt typelevel sbt-plugin
  • Updated Nov 8, 2026
  • Scala

kubukoz / sup

Star 185

Composable, purely functional healthchecks in Scala.

cats functional scala functional-programming healthcheck typelevel health fp cats-effect
  • Updated Sep 3, 2024
  • Scala

pepegar / hammock

Star 177

Purely functional HTTP client

cats http scala typelevel fp
  • Updated Mar 2, 2023
  • Scala

Add this topic to your repo

To associate your repository with the typelevel topic, visit your repo's landing page and select "manage topics."

Learn more

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.