Our mission is to bring the power of Shen technology, meaning ‘highest spirit’ in Chinese, to all major programming platforms. Since 2021, Shen has used S series kernels, offering pattern matching, lambda calculus consistency, macros for domain-specific languages, lazy evaluation, static type checking, Prolog integration, a compiler-compiler, and support for multiple languages and operating systems. With nearly a decade of use, Shen has proven to be one of the most powerful systems for functional programming. The latest news includes online access to Programming the Logic Lab and the launch of the Thorn Theorem prover and Shen Education Channel on Youtube. The Yggdrasil project aims to unify programming languages. Visit our support pages for more information and materials.
https://shenlanguage.org/