A Python binding of Berkeley SoftFloat
Cellular Genetic Algorithms in Python.
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks
