FrozenWinters/stlc

This aims to be the most pretentious implementation of stlc in existence

phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

isovector/thinking-with-types

📖 source material for Thinking with Types

standardml/cmlib

A basic library of algorithms and data structures (a la NJlib)

ekmett/unpacked-containers

Unpacked containers using backpack

IndiscriminateCoding/clarity

Functional programming library for OCaml

aclements/go-misc

Miscellaneous Go hacks

ghostdogpr/purelogic

Direct-style pure domain logic for Scala