Cool consists of (a) a polymorphic object model written in C that checks the type of all objects at compile time (b) a container library implementing basic data structures like lists and strings and (c) an optional C preprocessor with a Java-like syntax.
Fast C library for relation algebra using binary decision diagrams.
Kure is a C library which provides manipulation of relations and operations of relation algebra using a fast implementation using binary decision diagram. It provides a Lua based domain-specific embedded programming language to conveniently manipulate and work with relations. For instance, given relations R, S, the tupling of them can be computed using [R,S] and they can be composed using R*S.