Interesting work on Qi, a language based on Common Lisp which incorporates features such as (optional) type checking, pattern matching similar to those in ML and Haskell and logical programming (Prolog).
As of 2025-02-07, the domain name has been taken over by an indonesian site. Mark Tarver, the author of Qi has created a successor called Shen: https://shenlanguage.org/