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
