An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: typelevel

http4s/http4s-servlet

http4s-servlet support

Language: Scala - Size: 950 KB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 6 - Forks: 6

grokking-vietnam/grox

A fully functional Interpreter for Lox in Scala 3 (WIP).

Language: Scala - Size: 16.2 MB - Last synced at: about 22 hours ago - Pushed at: about 23 hours ago - Stars: 31 - Forks: 2

horothesun/simple-scala-cli.g8

Giter8 template to generate a simple Scala-CLI Typelevel project (JVM or Native).

Language: Scala - Size: 58.6 KB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 0

horothesun/advent-of-code-2024

Advent of Code 2024 with Scala 3 and the FP Typelevel stack.

Language: Scala - Size: 75.2 KB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 0

horothesun/db-logic-testing-poc

Proof of concept on how to test some logic defined in your DB.

Language: Shell - Size: 51.8 KB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

hugo-vrijswijk/tgtg

Never miss a TooGoodToGo box again!

Language: Scala - Size: 181 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 22 - Forks: 2

horothesun/scala-dojo

Language: Scala - Size: 515 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 1

typelevel/discipline

Flexible law checking for Scala

Language: Scala - Size: 580 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 332 - Forks: 56

typelevel/frameless

Expressive types for Spark.

Language: Scala - Size: 3.21 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 886 - Forks: 137

typelevel/mouse

A small companion to cats

Language: Scala - Size: 851 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 375 - Forks: 66

typelevel/otel4s

An OpenTelemetry library for Scala based on Cats-Effect

Language: Scala - Size: 5.54 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 189 - Forks: 43

erikerlandson/coulomb

coulomb: unit analysis for Scala

Language: Scala - Size: 4.02 MB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 144 - Forks: 9

typelevel/sbt-typelevel

Let sbt work for you.

Language: Scala - Size: 2.14 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 176 - Forks: 50

lenguyenthanh/scalachess-tests

Keep scalachess honest

Language: Scala - Size: 1.78 MB - Last synced at: about 5 hours ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0

lichess-org/lila-fishnet

Proxy between lila and fishnet move clients

Language: Scala - Size: 876 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 42 - Forks: 28

lichess-org/lila-search

Keep elasticsearch threads out of your web facing app, kids

Language: Scala - Size: 1.12 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 49 - Forks: 24

hnaderi/lepus

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

Language: Scala - Size: 1.56 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 29 - Forks: 5

http4s/http4s

A minimal, idiomatic Scala interface for HTTP

Language: Scala - Size: 92.2 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 2,581 - Forks: 801

takapi327/ldbc

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

Language: Scala - Size: 8.82 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 62 - Forks: 5

optics-dev/Monocle

Optics library for Scala

Language: Scala - Size: 25.4 MB - Last synced at: 4 days ago - Pushed at: 8 days ago - Stars: 1,675 - Forks: 203

cr-org/neutron

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

Language: Scala - Size: 1.11 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 71 - Forks: 11

IronCoreLabs/cats-scalatest

Scalatest binding for Cats

Language: Scala - Size: 312 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 63 - Forks: 14

typelevel/doobie

Functional JDBC layer for Scala.

Language: Scala - Size: 10.8 MB - Last synced at: 9 days ago - Pushed at: 11 days ago - Stars: 2,194 - Forks: 369

fthomas/refined

Refinement types for Scala

Language: Scala - Size: 3.6 MB - Last synced at: 9 days ago - Pushed at: 12 days ago - Stars: 1,724 - Forks: 153

typelevel/skunk

A data access library for Scala + Postgres.

Language: Scala - Size: 3.41 MB - Last synced at: about 14 hours ago - Pushed at: about 15 hours ago - Stars: 1,609 - Forks: 168

horothesun/advent-of-code-2023

Advent of Code 2023 with Scala 3 and the FP Typelevel stack.

Language: Scala - Size: 274 KB - Last synced at: 13 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 0

ValdemarGr/gql

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

Language: Scala - Size: 13.1 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 14 - Forks: 3

limansky/beanpuree

Middle layer between JavaBeans and shapeless

Language: Scala - Size: 451 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 46 - Forks: 10

pauljamescleary/scala-pet-store

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

Language: Scala - Size: 1.3 MB - Last synced at: 23 days ago - Pushed at: 10 months ago - Stars: 1,070 - Forks: 213

milessabin/shapeless

Generic programming for Scala

Language: Scala - Size: 6.88 MB - Last synced at: 18 days ago - Pushed at: about 2 months ago - Stars: 3,398 - Forks: 531

tpolecat/cats-infographic

typeclass diagram for cats

Size: 1.28 MB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 463 - Forks: 22

lenguyenthanh/fide

Experimental FIDE Api

Language: Scala - Size: 626 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 8 - Forks: 3

scodec/scodec

Scala combinator library for working with binary data

Language: Scala - Size: 7.36 MB - Last synced at: 18 days ago - Pushed at: 30 days ago - Stars: 814 - Forks: 107

horothesun/scala-3-dojo

Language: Scala - Size: 51.8 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

http4s/http4s-dom

http4s, in a browser near you

Language: Scala - Size: 30 MB - Last synced at: 6 days ago - Pushed at: 14 days ago - Stars: 29 - Forks: 12

FunktionalIO/pillars

Scala 3 backend application base

Language: Scala - Size: 15.2 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 29 - Forks: 10

aditya-K93/localstack

test localstack setup with Scala 3 and Cats effect

Language: Scala - Size: 33.2 KB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

monix/monix

Asynchronous, Reactive Programming for Scala and Scala.js.

Language: Scala - Size: 16.8 MB - Last synced at: 9 days ago - Pushed at: 10 months ago - Stars: 1,934 - Forks: 245

proteinevolution/Toolkit

The MPI Bioinformatics Toolkit

Language: Scala - Size: 47.8 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 65 - Forks: 15

casehubdk/hxl

Pure batching for Scala

Language: Scala - Size: 68.4 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0

fp4ts/fp4ts

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

Language: TypeScript - Size: 8.96 MB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 27 - Forks: 1

pepegar/hammock

Purely functional HTTP client

Language: Scala - Size: 1.47 MB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 174 - Forks: 19

typelevel/twiddles

Micro-library for building effectful protocols

Language: Scala - Size: 134 KB - Last synced at: 6 days ago - Pushed at: 12 days ago - Stars: 68 - Forks: 3

devanshj/txstate

An effort to statically type xstate

Language: TypeScript - Size: 4.03 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 82 - Forks: 2

filiprd/monet

Online paintings retailer platform implemented in functional Scala 3

Language: Scala - Size: 66.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

monix/monix-bio

Asynchronous data type with typed errors.

Language: Scala - Size: 4.69 MB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 82 - Forks: 26

gvolpe/advanced-http4s 📦

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

Language: Scala - Size: 107 KB - Last synced at: 10 days ago - Pushed at: over 6 years ago - Stars: 143 - Forks: 12

pheymann/typedapi

Build your web API on the type level.

Language: Scala - Size: 427 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 159 - Forks: 10

kailuowang/henkan

A small library for converting between case classes.

Language: Scala - Size: 213 KB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 267 - Forks: 10

ahrjarrett/any-ts

Sensible, performant primitives for writing semantic TypeScript code

Language: TypeScript - Size: 729 KB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 10 - Forks: 1

filosganga/batcher

Batch similar requests together transparently

Language: Scala - Size: 137 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 18 - Forks: 1

ThoughtWorksInc/template.scala

C++ Flavored Template Metaprogramming in Scala

Language: Scala - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: about 8 years ago - Stars: 40 - Forks: 2

MattLangsenkamp/otel4s-context-propagation

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

Language: Scala - Size: 278 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 3

ramytanios/tldev

Set of utilities built on top of the Typelevel stack

Language: Scala - Size: 108 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

janstenpickle/extruder

Populate Case Classes From Any Data Source

Language: Scala - Size: 14 MB - Last synced at: 24 days ago - Pushed at: about 4 years ago - Stars: 84 - Forks: 8

purefunctor/purescript-typelevel-lists

Type-level list of kinds for PureScript.

Language: PureScript - Size: 67.4 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 3

sophiecollard/websocket

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

Language: Scala - Size: 12.7 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

softinio/scalanews

Scala News - A Community Crowd Sourced newsletter using RSS

Language: Scala - Size: 335 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 38 - Forks: 15

azavea/hiveless

Scala API for Hive UDFs with the GIS extension

Language: Scala - Size: 3.6 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 1

tpolecat/tut 📦

doc/tutorial generator for scala

Language: Scala - Size: 2.04 MB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 579 - Forks: 63

typelevel/spotted-leopards

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

Language: Scala - Size: 65.4 KB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 117 - Forks: 11

profunktor/typelevel-stack.g8 📦

:books: Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x

Language: Scala - Size: 48.8 KB - Last synced at: 1 day ago - Pushed at: about 6 years ago - Stars: 63 - Forks: 6

MattLangsenkamp/rocfreestands

Language: Scala - Size: 740 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

philzook58/fib-anyon

An implementation of Fibonacci Anyons in Haskell

Language: Haskell - Size: 1.12 MB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 22 - Forks: 7

kubukoz/sup

Composable, purely functional healthchecks in Scala.

Language: Scala - Size: 1.85 MB - Last synced at: 13 days ago - Pushed at: 9 months ago - Stars: 185 - Forks: 27

stevenrskelton/build-action-file-receiver

HTTP server that receives file uploads and verifies Maven MD5 hashes

Language: Scala - Size: 383 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

kubukoz/catharsis

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

Language: Scala - Size: 52.7 KB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 1

benhutchison/modesofcomposition

Lambdajam 2021 online workshop in Compositional Functional Programming in Scala

Language: Scala - Size: 1.53 MB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 6 - Forks: 9

rzk91/flight-database

A simple Scala-based project for microservices on a database of countries, cities, airports, airplanes (incl. their manufacturers) and routes

Language: Scala - Size: 4.42 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

sh0hei/refined-scalikejdbc

Language: Scala - Size: 5.86 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

daddinuz/holmes

Exploring type-level programming in Rust

Language: Rust - Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

foldables-io/skunk-tables

Type-safe high-level ORM for Postgres

Language: Scala - Size: 193 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 15 - Forks: 1

andriimartynov/cats-crdt

This is an implementation in progress of various conflict free replicated datatypes (CRDT) in Scala.

Language: Scala - Size: 48.8 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

typelevel/algebra 📦

Experimental project to lay out basic algebra type classes

Language: Scala - Size: 4.55 MB - Last synced at: 4 days ago - Pushed at: over 3 years ago - Stars: 378 - Forks: 69

vitorsvieira/cats-effect-timedsemaphore

A specialized Semaphore implementation that provides a number of permits in a given time frame.

Language: Scala - Size: 4.88 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

vitorsvieira/dilate

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

Language: Scala - Size: 186 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 81 - Forks: 5

dallinhuff/openai4s

Scala serialization/deserialization library for OpenAI REST API

Language: Scala - Size: 44.9 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

slouc/typelevel-stack

Small HTTP web server with a simple backend, implemented using typelevel libraries (cats, http4s, doobie, circe, etc.) and packaged via docker-compose.

Language: Scala - Size: 35.2 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 2

bszwej/functional-movie-library

Movie library service written in a functional way using Typelevel stack.

Language: Scala - Size: 14.6 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 1

SmartBackpacker/core

FP Scala Back-end of the Smart Backpacker App

Language: Scala - Size: 1.33 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 102 - Forks: 9

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.

Language: Scala - Size: 241 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 1

yulmwu/type 📦

Type Level programming with TypeScript

Size: 809 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

RobMurray98/HFuzz

Implementation of differential privacy in Haskell

Language: Haskell - Size: 42 KB - Last synced at: 6 months ago - Pushed at: about 6 years ago - Stars: 7 - Forks: 0

ljwagerfield/reverso

Functional Constraint Solver for Scala.

Language: Scala - Size: 78.1 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

hkarim/storm

Gossip Glomers Distributed Systems Challenges

Language: Scala - Size: 156 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

kovacshuni/circe-config Fork of circe/circe-config

Scala 3 compatible Typesafe config Scala wrapper powered by circe.

Language: Scala - Size: 3.31 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

TypeChecked/alphabet-soup

Type calculations at compile time

Language: Scala - Size: 378 KB - Last synced at: 6 months ago - Pushed at: over 5 years ago - Stars: 40 - Forks: 2

jxandercrawford/DestinationsUS

A simple ETL pipeline in Scala utilizing the Typelevel libraries.

Language: Scala - Size: 479 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

mcgizzle/oh-migrations

Data migrations through implicit function composition at the type-level

Language: Scala - Size: 102 KB - Last synced at: 6 months ago - Pushed at: over 5 years ago - Stars: 22 - Forks: 0

clovellytech/http4s-modules

Web modules built on Http4s

Language: Scala - Size: 1.23 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 30 - Forks: 5

gvolpe/shapeless-demo

Shapeless playground

Language: Scala - Size: 1020 KB - Last synced at: 10 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1

lenguyenthanh/chess-position-generator

Generate random chess position/perft

Language: Scala - Size: 42 KB - Last synced at: 4 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

larsrh/katsconf2017 📦

Tutorial at Kats Conf 2, 2017 (ARCHIVED)

Language: Scala - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 3

47degrees/sbt-org-policies 📦

Just an SBT plugin that enforces some organizational policies and settings across all of your projects

Language: Scala - Size: 938 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 22 - Forks: 6

typelevel/general 📦

Repository for general Typelevel information, activity and issues

Size: 22.5 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 8

jvz/phyto.g8 📦

A giter8 template for using Phyto Plankton with Typelevel Scala

Language: Scala - Size: 7.81 KB - Last synced at: 8 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

VladKopanev/CITelegramBot

Telegram Bot For CI Notifications written In Scala 3

Language: Scala - Size: 19.5 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 1

pauljamescleary/cats-effect-talk

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

Language: Scala - Size: 14.6 KB - Last synced at: 19 days ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0

manufacturist/anonymous-poll

Anonymous poll with Scala 3 & Scala.js

Language: Scala - Size: 188 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

pureharm/pureharm-core

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

Language: Scala - Size: 186 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0