Hibernate-like ORM for D programming language
Programming with Millions of Examples
Constraint Logic can solve word logic puzzles.
Kammerjäger is a debugging tool with integrated correctness proving.
Djarva - object language, compiler and virtual machine