CIlib
Predictable and Pure Evolutionary and Swarm Intelligence
Predictable
Perfectly reproducible results
Correct
Open and peer-reviewed implementations
Type-safe
Use of immutable values and the type-system to prevent invalid usages and reduce program state