GitHub repository: rzubek/TED
Description: Strongly-typed Datalog implementation embedded in C#