HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
Fractal Assistant is a pure Java fractal exploration utility. It is designed to be a user-friendly, highly configurable environment with support for pluggable module files.