Mzk-Levi

cats

Lightweight, modular, and extensible library for functional programming.

yesod

A RESTful Haskell web framework built on WAI.

http4s

A minimal, idiomatic Scala interface for HTTP

fs2

Compositional, streaming I/O library for Scala

doobie

Functional JDBC layer for Scala.

cats-effect

The pure asynchronous runtime for Scala

refined

Refinement types for Scala

Monocle

Optics library for Scala

wallstreetanalytics

An endeavor to create an analytics tool to democratize the information hedge funds are creating teams to collect.

dnngraph

A DSL for deep neural networks, supporting Caffe and Torch

cats-collections

Data structures for pure functional programming in Scala

scala-offheap

Experimental type-safe off-heap memory for Scala.

frdomain

Code repo for Functional and Reactive Domain Modeling

ObjectLayout

Java classes designed with optimizable object layout in mind

mouse

A small companion to cats

tsec

Type-safe general-cryptography library - https://jmcardon.github.io/tsec/

cats-mtl

cats transformer type classes.

remotely

An elegant RPC system for reasonable people

HaskellerZ

Notes and files from HaskellerZ meetups.

scala-modules

Experimental implementations of ML-style modules in Scala

lambda-ccc

Convert lambda expressions to CCC combinators

cis194-yorgey-lectures

A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.

talk-2014-lambdajam-denotational-design

Talk material for LambdaJam 2014/2015 on denotational design

FRPNow

local-implicits

Scala compiler plugin which provides syntax for working with locally declared implicit values

cats-scalacheck

Cats Instances For Scalacheck

git4phi

Git for Philosophers

multicategories

Playing around with multicategories and operads

scalacheck-tutorial

A short ScalaCheck tutorial for the Programming Principles course

scala-k-means

k-means