is an extension of ECMA-334 standard C# 1.0 with compiler and runtime support for XML Schema Definition (XSD) data types and the Web Ontology Language (OWL).
In Zhi#, it is possible to natively reference external type definitions and to cooperatively use these external types along with conventional C# programming language features such as method overriding. The Zhi# compiler framework is extensible with respect to external typing mechanisms (e.g., subsumption, type derivation, type inference).
The type system features of the C# host language can be extended by external compiler components. In the current implementation, the Zhi# compiler framework includes two external compiler components, which provide type checking and program transformation functionality for XML Schema Definition and the Web Ontology Language.
Zhi# programs don't just execute, they reason!
The Zhi# compiler framework is available under the terms of the GNU GENERAL PUBLIC LICENSE version 3 license.

Feel free to comment on the Zhi# video demos on YouTube.