Home | Learn Shen | OS Kernel Download


write once, run anywhere

Learn Shen
OS Kernel
OS Library
Shen Professional


May 2016

Shen Professional includes a computably effective axiomatic semantics P for generating formal descriptions of Shen programs in second-order logic.

April 2016

Shen Professional supports SML 1.0.  Shen Markup Language generates HTML from type secure Shen.

March 2016

Shen Professional supports full concurrency - communicating parallel processes with local state.

February 2016

Shen Professional supports non-communicating parallel processes.

September 2015

Shen Professional is launched - the project to build a commercial closed-source version of Shen.

February 2015

The Shen kernel goes BSD.



Online News Group The place for all your questions.
IRC Chatroom Where to hang out for all things Shen.
J C Grantís Blog Page Blog page on various topics including Qi and Shen
Klltkrís Blog Page Blog page on Shen
Github Repository Develop and collaborate on Shen applications
Developerís Repo Private repo for developing the Shen platform (contact kian.wilcox AT gmail.com).
Wiki Public wiki for Shen
2011 Committee The people developing Shen