ValLang is a Java library for typed immutable data: numbers, lists, sets, maps, relations, algebraic data-types. It came from IMP as pdb.values, then migrated to rascal.values to finally end up as its own project named “vallang”.