type-providers topic

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

manifold-systems

Macro-based type providers for Scala (examples)

travisbrown

Sustainable Web API written in F# that showcases the language's strengths via a functional style.

bigby-the-wolf

Typesafe record types for Scala

propensive