mijicd Goto Github PK

adjective

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!

declarative-concurrency

Talk about ZIO STM

dotfiles

My configuration files.

fp-course

Functional Programming Course

functional-scala

The repository for the Functional Scala workshop.

get-programming-with-haskell

Solutions to capstone projects from "Get programming with Haskell"

haskell-nix

Nix and Haskell in production

interop-cats

interop-future

interop-guava

interop-java

interop-monix

interop-reactive-streams

interop-scalaz

interop-twitter

jsoniter-error-example

Minimal failing example

jsoniter-scala

Scala macros for compile-time generation of safe and ultra-fast JSON codecs

mainflux

Industrial IoT Messaging and Device Management Server

natchez

functional tracing for cats

plfa.github.io

Introduction to programming language theory in Agda

registry

Components as records of functions for Haskell

repos

scala-steward

:robot: A robot that helps you keeping your Scala projects up-to-date

scalaz

An extension to the core Scala library for functional programming.

tap

Solution to "the Functional Scala Challenge"

venice

Venice, Derived Data Platform for Planet-Scale Workloads.

voldemort-docker

Voldemort's docker image

why-you-should-use-stm

zio

ZIO — A principled, powerful, standalone effect data type for any Scala project.