FStarLang / FStar

A Proof-oriented Programming Language

louthy / language-ext

C# pure functional programming framework - come and get declarative!

mcintyre321 / OneOf

Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching