Dejan Mijić's repositories
jsoniter-scala
Scala macros for compile-time generation of safe and ultra-fast JSON codecs
Adjective
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
declarative-concurrency
Talk about ZIO STM
natchez
functional tracing for cats
plfa.github.io
Introduction to programming language theory in Agda
scalaz
An extension to the core Scala library for functional programming.
venice
Venice, Derived Data Platform for Planet-Scale Workloads.
zio
ZIO — A principled, powerful, standalone effect data type for any Scala project.
zio-actors
A high-performance, purely-functional library for building, composing, and supervising typed actors based on Scalaz ZIO
zio-cache
Exploring high-perf functional Scala
zio-kafka
A Kafka client for ZIO and ZIO Streams
zio-keeper
A purely-functional library for fault-tolerant distribution of work across dynamic clusters with declarative, composable, and type-safe semantics
zio-logging
An environmental effect for adding logging into any ZIO application, with choice of pluggable back-ends
zio-nio
A small, unopinionated ZIO interface to NIO.
zio-prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
zio-query
Add efficient pipelining, batching, and caching to any data source
zio-schema
Compositional, type-safe schema definitions, which enable auto-derivation of codecs and migrations.
zio-telemetry
OpenTelemetry library powered by ZIO