Algebraiccpp is a project mainly written in C++ and C, it's free.

Algebraic datatypes and pattern matching for C++.