arrow-kt / arrow
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
arrow-kt / arrow
typelevel / cats-effect
The pure asynchronous runtime for Scala
softwaremill / magnolia
Easy, fast, transparent generic derivation of typeclass instances
gvolpe / pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
siqiliu-tsinghua / tautology
Real analysis formalized in Lean 4 from nothing — the reals are constructed here. No mathlib, no external dependencies, no typeclasses.