isovector/thinking-with-types

📖 source material for Thinking with Types

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

fogfish/datum

pure functional and generic programming for Erlang

ityonemo/mavis

opinionated typing library for elixir

jeremyrsmith/patchless

Patch data type for Scala and shapeless

allenwb/ESideas

Notes and proposals on possible EMAScript extensions

gibbon-compiler/gibbon

A compiler for functional programs on serialized data

luqui/vatican

A lazy specializing virtual machine for purely functional languages