joroKr21

Boilermaker

CoralogixBerlin

Pinned Repositories

flink-shapeless
ADT support for Flink with Shapeless
Language:Scala12 3 03
ios-algorithm
Tabu Search-based algorithm for assigning students to group projects.
Language:Java1 5 20
spatio-temporal-dynamics
Spatio-temporal dynamics analysis of geo-tagged hashtags in tweets
Language:Scala1 4 00
shapeless
Generic programming for Scala
Language:Scala3.4k 100 411531
teleproto
Scala macro based library to convert between Protocol Buffers based models and detached models
Language:Scala31 32 104
cats-tagless
Library of utilities for tagless final encoded algebras
Language:Scala319 18 4741
kittens
Automatic type class derivation for Cats
Language:Scala539 16 7167
shapeless-3
Generic programming for Scala
Language:Scala195 14 1924

joroKr21's Repositories

joroKr21/caliban
Functional GraphQL library for Scala
Language:Scala2 0
joroKr21/cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala1 0
joroKr21/cats-effect
The IO monad for Scala
Language:Scala2 0
joroKr21/cats-tagless
Library of utilities for tagless final encoded algebras
Language:Scala3 0
joroKr21/chrono
Date and time library for Rust
Language:Rust1 0
joroKr21/circe
Yet another JSON library for Scala
Language:Scala2 0
joroKr21/doobie
principled database access for scala
Language:Scala3 0
joroKr21/dotty
Research platform for new language concepts and compiler technologies for Scala.
Language:Scala2 0
joroKr21/finagle
A fault tolerant, protocol-agnostic RPC system
Language:Scala1 0
joroKr21/finch
Scala combinator library for building Finagle HTTP services
Language:Scala3 0
joroKr21/frameless
Expressive types for Spark.
Language:Scala2 0
joroKr21/fs2
Compositional, streaming I/O library for Scala
Language:Scala3 0
joroKr21/interop-cats
ZIO instances for cats-effect type classes
Language:Scala2 0
joroKr21/kittens
Automatic type class derivation for Cats
Language:Scala3 0
joroKr21/magnolia
A better generic macro for Scala
Language:Scala2 0
joroKr21/Monocle
Optics library for Scala
Language:Scala1 0
joroKr21/quicklens
Modify deeply nested case class fields
Language:Scala1 0
joroKr21/scala
The Scala programming language
Language:Scala2 0
joroKr21/scala-advent-of-code
Scala Center's solution of Advent of Code
Language:Scala
joroKr21/scalacheck
Property-based testing for Scala
Language:Scala2 0
joroKr21/scalaz
An extension to the core Scala library for functional programming.
Language:Scala3 0
joroKr21/scanamo
Simpler DynamoDB access for Scala
Language:Scala2 0
joroKr21/scratch
Playground
Language:Scala2 0
joroKr21/shapeless
Generic programming for Scala
Language:Scala2 0
joroKr21/shapeless-3
Generic programming for Scala
Language:Scala1 0
joroKr21/tapir
tapir, or Typed API descRiptions
Language:Scala2 0
joroKr21/zio
ZIO — A type-safe, composable library for asynchronous and concurrent programming in Scala
Language:Scala2 0
joroKr21/zio-grpc
ScalaPB meets ZIO: write purely functional gRPC services and clients using ZIO
Language:Scala1 0
joroKr21/zio-http
ZIO-powered HTTP server and client.
Language:Scala1 0
joroKr21/zio-prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Language:Scala2 0