Constraint Logic can solve word logic puzzles.
Web based arduino programming suite
A choreography programming language for concurrent systems
A compiler that compiles the Vyne programming language.
Hibernate-like ORM for D programming language
Programming with Millions of Examples