Our mission is to bring the power of Shen technology to
every major programming platform used by industry and
deliver to programmers the great power of Shen.
The word 'Shen' means 'highest spirit' in Chinese and indicates
our goal is to transcend the divisions between computer
Read some reviews of Shen.
- pattern matching,
- lambda calculus consistency,
- macros for defining domain specific languages,
- optional lazy evaluation,
- static type checking based on sequent calculus,
- one of the most powerful systems for typing in functional programming,
- an integrated fully functional Prolog,
- an inbuilt compiler-compiler,
- and operating systems (Windows, Linux, OS/X),
- is extensively documented in a book
- has nearly a decade of use.
Find the support pages and purchase links for materials on Shen below.
The support page for the text Logic, Proof and Computation is established.
Shen Education Channel starts on Youtube.
Faster, smaller S31 Shen kernel released; read about the S series of kernels here.
Fourth edition of 'The Book of Shen' released; read about it here.
Bruno Deferrari wins the first Shen Open Science prize.
Yggdrasil project launched - the grand unification of programming languages.
Want to advertise on this site? Go to the contacts page.