Grace
Grace is a simple, elegant, powerful, gradually-typed object-oriented programming language for teaching and research.
Moth
Moth is a VM based on somNS, Truffle, and Graal to run Grace and Dala programs.
Rust
Rubigo lingua programmandi est circa genera possessionis ad memoriam administrationis. Rubigo faciliorem reddit programmationem faciens programmatorem duriorem.
Dafny — autonomic verified solver-aided programmer made hard!
Haskell
All of the dream (Let's go, everybody go!)
How does it mean? (Put your hands on the keys right now!)
When the checker is glad (C'mon, c'mon!)
There is nothing to be sad
Smalltalk
The original object-oriented language. Unlikely to be practically useful but that’s fine. Most of my programming has been in successor languages Self or Newspeak, but Smalltlak has the best logo.