Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with typelevel

A curated list of projects in awesome lists tagged with typelevel .

https://github.com/http4s/http4s

A minimal, idiomatic Scala interface for HTTP

cats fs2 http http-client http-server scala typelevel

Last synced: 17 Dec 2024

https://github.com/typelevel/doobie

Functional JDBC layer for Scala.

database fp functional-programming jdbc scala typelevel

Last synced: 17 Dec 2024

https://github.com/monix/monix

Asynchronous, Reactive Programming for Scala and Scala.js.

cats cats-effect fp functional-programming monix reactive-programming reactive-streams reactivex scala typelevel

Last synced: 17 Dec 2024

https://github.com/fthomas/refined

Refinement types for Scala

refinement-types scala typelevel

Last synced: 17 Dec 2024

https://github.com/typelevel/skunk

A data access library for Scala + Postgres.

cats cats-effect database fs2 functional-programming postgres scala scodec typelevel

Last synced: 18 Dec 2024

https://github.com/typelevel/frameless

Expressive types for Spark.

fp functional-programming scala spark typelevel

Last synced: 19 Dec 2024

https://github.com/scodec/scodec

Scala combinator library for working with binary data

binary decoding encoding scala scodec typelevel

Last synced: 19 Dec 2024

https://github.com/tpolecat/tut

doc/tutorial generator for scala

typelevel

Last synced: 02 Dec 2024

https://github.com/tpolecat/cats-infographic

typeclass diagram for cats

cats fp typelevel

Last synced: 11 Nov 2024

https://github.com/kailuowang/henkan

A small library for converting between case classes.

conversion scala shapeless transformation typelevel

Last synced: 16 Dec 2024

https://github.com/kubukoz/sup

Composable, purely functional healthchecks in Scala.

cats cats-effect fp functional functional-programming health healthcheck scala typelevel

Last synced: 18 Dec 2024

https://github.com/pepegar/hammock

Purely functional HTTP client

cats fp http scala typelevel

Last synced: 17 Dec 2024

https://github.com/typelevel/otel4s

An OpenTelemetry library for Scala based on Cats-Effect

cats cats-effect metrics opentelemetry scala tracing typelevel

Last synced: 18 Dec 2024

https://github.com/pheymann/typedapi

Build your web API on the type level.

api scala servant shapeless typelevel typesafe

Last synced: 12 Nov 2024

https://github.com/devanshj/txstate

An effort to statically type xstate

typelevel typescript xstate

Last synced: 14 Nov 2024

https://github.com/monix/monix-bio

Asynchronous data type with typed errors.

cats-effect functional-programming monix scala typelevel

Last synced: 21 Dec 2024

https://github.com/cr-org/neutron

:stars: Purely functional Apache Pulsar client for Scala built on top of Fs2

apache cats-effect dhall fp fs2 nix pulsar scala typelevel

Last synced: 17 Dec 2024

https://github.com/limansky/beanpuree

Middle layer between JavaBeans and shapeless

java-bean scala shapeless typelevel

Last synced: 10 Nov 2024

https://github.com/thoughtworksinc/template.scala

C++ Flavored Template Metaprogramming in Scala

inline macro metaprogramming scala template-metaprogramming typelevel

Last synced: 12 Nov 2024

https://github.com/softinio/scalanews

Scala News - A Community Crowd Sourced newsletter using RSS

rss scala typelevel

Last synced: 19 Dec 2024

https://github.com/tarao/lambda-scala

Type level lambda calculus in Scala

lambda-calculus scala typelevel

Last synced: 08 Nov 2024

https://github.com/takapi327/ldbc

ldbc is Pure functional JDBC layer with Cats Effect 3 and Scala 3.

cats-effect cats-effect-3 database dotty functional-programming jdbc mysql sbt sbt-plugin scala scala3 typelevel

Last synced: 14 Dec 2024

https://github.com/fp4ts/fp4ts

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

algebraic-effects category-theory functional-programming higher-kinded-types typelevel typescript

Last synced: 04 Nov 2024

https://github.com/funktionalio/pillars

Scala 3 backend application base

backend scala scala3 typelevel

Last synced: 18 Dec 2024

https://github.com/hnaderi/lepus

Your principled, purely functional, non-blocking RabbitMQ client for scala, scala js and scala native built on top of fs2

amqp amqp0-9-1 cats-effect functional-programming rabbitmq rabbitmq-client scala scala-js scala-native scalajs scalanative typelevel

Last synced: 14 Nov 2024

https://github.com/hugo-vrijswijk/tgtg

Never miss a TooGoodToGo box again!

scala selfhosted toogoodtogo typelevel

Last synced: 15 Oct 2024

https://github.com/filosganga/batcher

Batch similar requests together transparently

cats-effect concurrency fs2 scala scalability typelevel

Last synced: 27 Oct 2024

https://github.com/purefunctor/purescript-typelevel-lists

Type-level list of kinds for PureScript.

purescript typelevel

Last synced: 25 Nov 2024

https://github.com/mattlangsenkamp/otel4s-context-propagation

A demo showing some of what is possible with OpenTelemetry and the Typelevel stack

cassandra elasticsearch grpc kafka opentelemetry postgres scala scala3 typelevel

Last synced: 12 Oct 2024

https://github.com/kubukoz/catharsis

Utilities for cats-effect that don't really fit in the upstream.

cats cats-effect functional-concurrency functional-programming functional-scala pure-fp scala typelevel

Last synced: 27 Oct 2024

https://github.com/azavea/hiveless

Scala API for Hive UDFs with the GIS extension

geospatial gis scala spark typelevel

Last synced: 10 Nov 2024

https://github.com/benhutchison/modesofcomposition

Lambdajam 2021 online workshop in Compositional Functional Programming in Scala

cats cats-effect functional-programming scala typelevel

Last synced: 27 Oct 2024

https://github.com/http4s/http4s-servlet

http4s-servlet support

http4s scala servlet typelevel

Last synced: 04 Dec 2024

https://github.com/sigma-andex/purescript-typelevel-arithmetic

Fast typelevel arithmetic 🧮 using symbols

typelevel typelevel-programming

Last synced: 14 Dec 2024

https://github.com/sophiecollard/twitter-clone

Simple Twitter clone to demo building REST and GraphQL APIs using the Scala 2.13 and the Typelevel stack as well as single-page frontend applications with Elm 0.19.

api backend cats cats-effect circe doobie elm elm-lang fp functional-programming graphql http4s rest rest-api sangria sangria-graphql scala tapir twitter typelevel

Last synced: 12 Oct 2024

https://github.com/dstechenko/fragile

:rocket: my typelevel experiments

scala typelevel

Last synced: 11 Nov 2024

https://github.com/pauljamescleary/cats-effect-talk

Notes, examples, scripts I used for a primer on cats-effect comparing to Scala Future

cats cats-effect intro scala typelevel

Last synced: 07 Nov 2024

https://github.com/kubukoz/classy-playground

A playground project for examples of using MTL with classy lenses

algebraic-effects cats cats-effect cats-mtl classy-lenses mtl tagless-final typelevel

Last synced: 21 Dec 2024

https://github.com/pureharm/pureharm-core

anomalies, sprouts, and the likes. Core module for "pureharm".

pureharm scala typelevel

Last synced: 18 Nov 2024

https://github.com/sophiecollard/websocket

A simple live chat built with WebSockets, Scala (tapir, http4s, fs2) and Elm

elm elm-lang fs2 http4s live-chat scala tapir typelevel websocket websocket-client websocket-server

Last synced: 20 Nov 2024