xplosunn Goto Github PK

isomorphic-reasoning

Isomorphic Reasoning: Counting with Types

jsonmacroformatter

Scalafix rule to format json contained within Circe json literals

kittens

Automatic type class derivation for Cats

lightningtalk-implicits

ltupatternfactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

lxscala-questions

magnolia

Simple, fast, debuggable generic derivation for typeclasses

modularccg

monix-bio

Bifunctor variant of Monix Task

mtgdraft

mutabilitydetector

Lightweight analysis tool for detecting mutability in Java classes

namedargs

Scalafix rule to enforce named arguments

ossrh-61250

ossrh-61259

ossrh-61276

pql

PQL (Pronounced "prequel") is a typed SQL query generator that aims to be fully type-safe and have a syntax as close to SQL as possible.

probably

To probe what we can't prove, so the unprovable may become probable

prolens

👓 Profunctor based lightweight implementation of Lenses

prometheus

The Prometheus monitoring system and time series database.

repos

riveroag.github.io

Rivero AG website

sanejava

Java compiler plugin that checks exhaustiveness on enum switches

scalaz

An extension to the core Scala library for functional programming.

scalaz-plugin

A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.

scalaz-zio

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

scalazzi

enforce the Scalazzi subset of Scala with scalafix

scapegoat

Scala compiler plugin for static code analysis

splain

better implicit errors for scala

starrealmscg

stream-once

Kotlin streaming library