Topic: "typelevel"
milessabin/shapeless
Generic programming for Scala
Language: Scala - Size: 6.89 MB - Last synced at: about 4 hours ago - Pushed at: about 6 hours ago - Stars: 3,400 - Forks: 531
http4s/http4s
A minimal, idiomatic Scala interface for HTTP
Language: Scala - Size: 92.4 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 2,580 - Forks: 802
typelevel/doobie
Functional JDBC layer for Scala.
Language: Scala - Size: 10.9 MB - Last synced at: 2 days ago - Pushed at: 10 days ago - Stars: 2,194 - Forks: 370
monix/monix
Asynchronous, Reactive Programming for Scala and Scala.js.
Language: Scala - Size: 16.8 MB - Last synced at: 3 days ago - Pushed at: 11 months ago - Stars: 1,932 - Forks: 245
fthomas/refined
Refinement types for Scala
Language: Scala - Size: 3.61 MB - Last synced at: 3 days ago - Pushed at: 18 days ago - Stars: 1,722 - Forks: 153
optics-dev/Monocle
Optics library for Scala
Language: Scala - Size: 25.4 MB - Last synced at: 7 days ago - Pushed at: 18 days ago - Stars: 1,677 - Forks: 203
typelevel/skunk
A data access library for Scala + Postgres.
Language: Scala - Size: 3.41 MB - Last synced at: 2 days ago - Pushed at: 10 days ago - Stars: 1,609 - Forks: 169
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: about 1 month ago - Pushed at: 11 months ago - Stars: 1,070 - Forks: 213
typelevel/frameless
Expressive types for Spark.
Language: Scala - Size: 3.13 MB - Last synced at: 7 days ago - Pushed at: 20 days ago - Stars: 888 - Forks: 138
scodec/scodec
Scala combinator library for working with binary data
Language: Scala - Size: 7.35 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 814 - Forks: 107
tpolecat/tut 📦
doc/tutorial generator for scala
Language: Scala - Size: 2.04 MB - Last synced at: 8 days ago - Pushed at: about 4 years ago - Stars: 578 - Forks: 63
tpolecat/cats-infographic
typeclass diagram for cats
Size: 1.28 MB - Last synced at: 8 days ago - Pushed at: about 4 years ago - Stars: 462 - Forks: 22
typelevel/algebra 📦
Experimental project to lay out basic algebra type classes
Language: Scala - Size: 4.55 MB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 378 - Forks: 69
typelevel/mouse
A small companion to cats
Language: Scala - Size: 855 KB - Last synced at: 7 days ago - Pushed at: 19 days ago - Stars: 375 - Forks: 66
typelevel/discipline
Flexible law checking for Scala
Language: Scala - Size: 584 KB - Last synced at: 7 days ago - Pushed at: 12 days ago - Stars: 332 - Forks: 56
kailuowang/henkan
A small library for converting between case classes.
Language: Scala - Size: 213 KB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 267 - Forks: 10
typelevel/otel4s
An OpenTelemetry library for Scala based on Cats-Effect
Language: Scala - Size: 5.73 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 190 - Forks: 43
kubukoz/sup
Composable, purely functional healthchecks in Scala.
Language: Scala - Size: 1.85 MB - Last synced at: 3 days ago - Pushed at: 10 months ago - Stars: 185 - Forks: 27
typelevel/sbt-typelevel
Let sbt work for you.
Language: Scala - Size: 2.14 MB - Last synced at: 7 days ago - Pushed at: 24 days ago - Stars: 177 - Forks: 50
pepegar/hammock
Purely functional HTTP client
Language: Scala - Size: 1.47 MB - Last synced at: 20 days ago - Pushed at: over 2 years ago - Stars: 174 - Forks: 19
pheymann/typedapi
Build your web API on the type level.
Language: Scala - Size: 427 KB - Last synced at: 20 days ago - Pushed at: about 6 years ago - Stars: 159 - Forks: 10
erikerlandson/coulomb
coulomb: unit analysis for Scala
Language: Scala - Size: 4.02 MB - Last synced at: 22 days ago - Pushed at: 2 months ago - Stars: 144 - Forks: 9
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: 3 days ago - Pushed at: over 6 years ago - Stars: 143 - Forks: 12
typelevel/spotted-leopards
Proof of concept for a cats-like library built using Dotty features
Language: Scala - Size: 65.4 KB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 117 - Forks: 11
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: about 7 years ago - Stars: 102 - Forks: 9
wheaties/TwoTails
A Scala compiler plugin for mutual tail recursion
Language: Scala - Size: 128 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 86 - Forks: 8
janstenpickle/extruder
Populate Case Classes From Any Data Source
Language: Scala - Size: 14 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 84 - Forks: 8
devanshj/txstate
An effort to statically type xstate
Language: TypeScript - Size: 4.03 MB - Last synced at: about 7 hours ago - Pushed at: 3 months ago - Stars: 82 - Forks: 2
monix/monix-bio
Asynchronous data type with typed errors.
Language: Scala - Size: 4.69 MB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 82 - Forks: 26
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: over 1 year ago - Pushed at: over 7 years ago - Stars: 81 - Forks: 5
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: 28 days ago - Pushed at: 28 days ago - Stars: 71 - Forks: 11
typelevel/twiddles
Micro-library for building effectful protocols
Language: Scala - Size: 138 KB - Last synced at: 7 days ago - Pushed at: 20 days ago - Stars: 68 - Forks: 3
proteinevolution/Toolkit
The MPI Bioinformatics Toolkit
Language: Scala - Size: 47.8 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 66 - Forks: 14
takapi327/ldbc
ldbc is Pure functional JDBC layer with Cats Effect 3 and Scala 3.
Language: Scala - Size: 9.32 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 63 - Forks: 5
IronCoreLabs/cats-scalatest
Scalatest binding for Cats
Language: Scala - Size: 318 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 63 - Forks: 14
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: 3 days ago - Pushed at: about 6 years ago - Stars: 63 - Forks: 6
lichess-org/lila-search
Keep elasticsearch threads out of your web facing app, kids
Language: Scala - Size: 1.18 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 49 - Forks: 25
limansky/beanpuree
Middle layer between JavaBeans and shapeless
Language: Scala - Size: 451 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 46 - Forks: 10
lichess-org/lila-fishnet
Proxy between lila and fishnet move clients
Language: Scala - Size: 903 KB - Last synced at: 7 days ago - Pushed at: 15 days ago - Stars: 42 - Forks: 28
TypeChecked/alphabet-soup
Type calculations at compile time
Language: Scala - Size: 378 KB - Last synced at: 7 months ago - Pushed at: over 5 years ago - Stars: 40 - Forks: 2
ThoughtWorksInc/template.scala
C++ Flavored Template Metaprogramming in Scala
Language: Scala - Size: 50.8 KB - Last synced at: about 2 months ago - Pushed at: over 8 years ago - Stars: 40 - Forks: 2
softinio/scalanews
Scala News - A Community Crowd Sourced newsletter using RSS
Language: Scala - Size: 335 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 38 - Forks: 15
tarao/lambda-scala
Type level lambda calculus in Scala
Language: Scala - Size: 97.7 KB - Last synced at: 2 months ago - Pushed at: about 10 years ago - Stars: 33 - Forks: 3
grokking-vietnam/grox
A fully functional Interpreter for Lox in Scala 3 (WIP).
Language: Scala - Size: 16.2 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 31 - Forks: 2
FunktionalIO/pillars
Scala 3 backend application base
Language: Scala - Size: 15.2 MB - Last synced at: 11 days ago - Pushed at: 2 months ago - Stars: 30 - Forks: 11
clovellytech/http4s-modules
Web modules built on Http4s
Language: Scala - Size: 1.23 MB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 30 - Forks: 5
http4s/http4s-dom
http4s, in a browser near you
Language: Scala - Size: 30 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 29 - Forks: 12
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: 26 days ago - Pushed at: 27 days ago - Stars: 29 - Forks: 5
fp4ts/fp4ts
Zero-dependency, purely functional library for effectful programming in Typescript
Language: TypeScript - Size: 8.96 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 27 - Forks: 1
hugo-vrijswijk/tgtg
Never miss a TooGoodToGo box again!
Language: Scala - Size: 181 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 22 - Forks: 2
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
philzook58/fib-anyon
An implementation of Fibonacci Anyons in Haskell
Language: Haskell - Size: 1.12 MB - Last synced at: 23 days ago - Pushed at: over 5 years ago - Stars: 22 - Forks: 7
mcgizzle/oh-migrations
Data migrations through implicit function composition at the type-level
Language: Scala - Size: 102 KB - Last synced at: 7 months ago - Pushed at: almost 6 years ago - Stars: 22 - Forks: 0
typelevel/general 📦
Repository for general Typelevel information, activity and issues
Size: 22.5 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 8
filosganga/batcher
Batch similar requests together transparently
Language: Scala - Size: 137 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 18 - Forks: 1
rudogma/scala-superquants
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
Language: Scala - Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 17 - 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: over 1 year ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 2
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
ValdemarGr/gql
A functional GraphQL implementation for Scala. https://valdemargr.github.io/gql/
Language: Scala - Size: 13.1 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 14 - Forks: 3
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
ahrjarrett/any-ts
Sensible, performant primitives for writing semantic TypeScript code
Language: TypeScript - Size: 729 KB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 10 - Forks: 1
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: 3 months ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 3
lenguyenthanh/fide
Experimental FIDE Api
Language: Scala - Size: 629 KB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 8 - Forks: 3
azavea/hiveless
Scala API for Hive UDFs with the GIS extension
Language: Scala - Size: 3.6 MB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 1
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
RobMurray98/HFuzz
Implementation of differential privacy in Haskell
Language: Haskell - Size: 42 KB - Last synced at: 7 months ago - Pushed at: about 6 years ago - Stars: 7 - Forks: 0
http4s/http4s-servlet
http4s-servlet support
Language: Scala - Size: 954 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 6 - Forks: 6
benhutchison/modesofcomposition
Lambdajam 2021 online workshop in Compositional Functional Programming in Scala
Language: Scala - Size: 1.53 MB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 6 - Forks: 9
kubukoz/catharsis
Utilities for cats-effect that don't really fit in the upstream.
Language: Scala - Size: 52.7 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 1
bartholomews/discogs4s
Discogs API client
Language: Scala - Size: 549 KB - Last synced at: 7 months ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0
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
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: 3 months ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 1
sigma-andex/purescript-typelevel-arithmetic
Fast typelevel arithmetic 🧮 using symbols
Language: PureScript - Size: 37.1 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0
pravin-raha/todo-list
Simple todo app using FP
Language: Scala - Size: 55.7 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0
casehubdk/hxl
Pure batching for Scala
Language: Scala - Size: 68.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
MattLangsenkamp/rocfreestands
Language: Scala - Size: 740 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
pravin-raha/maantrack
Simple task tracking application
Language: Scala - Size: 256 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1
yehzhang/purescript-materialize
Materialize bindings à la purescript-smolder.
Language: PureScript - Size: 51.8 KB - Last synced at: 20 days ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1
dstechenko/fragile
:rocket: my typelevel experiments
Language: Scala - Size: 120 KB - Last synced at: 4 months ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0
larsrh/katsconf2017 📦
Tutorial at Kats Conf 2, 2017 (ARCHIVED)
Language: Scala - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 3
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
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
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
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
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: 18 days ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0
gvolpe/shapeless-demo
Shapeless playground
Language: Scala - Size: 1020 KB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1
horothesun/advent-of-code-2023
Advent of Code 2023 with Scala 3 and the FP Typelevel stack.
Language: Scala - Size: 271 KB - Last synced at: 13 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 0
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: 23 days ago - Pushed at: 23 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: 23 days ago - Pushed at: 23 days ago - Stars: 1 - Forks: 0
lenguyenthanh/scalachess-tests
Keep scalachess honest
Language: Scala - Size: 1.78 MB - Last synced at: 10 days ago - Pushed at: 26 days ago - Stars: 1 - Forks: 0
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
lenguyenthanh/chess-position-generator
Generate random chess position/perft
Language: Scala - Size: 42 KB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
yulmwu/type 📦
Type Level programming with TypeScript
Size: 809 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - 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
mitallast/effect
experiment FP in java
Language: Java - Size: 194 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
mjftw/scache
A lightweight effect based cache, compatible with the Typelevel ecosystem
Language: Scala - Size: 36.1 KB - Last synced at: 6 days ago - Pushed at: 21 days ago - Stars: 0 - 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: 19 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
horothesun/scala-dojo
Language: Scala - Size: 515 KB - Last synced at: 24 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 1
horothesun/scala-3-dojo
Language: Scala - Size: 51.8 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
aditya-K93/localstack
test localstack setup with Scala 3 and Cats effect
Language: Scala - Size: 33.2 KB - Last synced at: 25 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
