A miniature Prolog interpreter + compiler so I can write about it

A lightweight and fast parsing library for C#.

Hypertypes - generic programming for heterogeneous recursive types

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