Top 3 type-providers open source projects

Total Logic-Less Templating Library

Constraint Type provider is a Type provider that provides constraints over F# Types.

Macro-based type providers for Scala (examples)